Cited By
View all- Abdulla PAtig MDas SJonsson BSagonas K(2024)Parsimonious Optimal Dynamic Partial Order ReductionComputer Aided Verification10.1007/978-3-031-65630-9_2(19-43)Online publication date: 24-Jul-2024
- Abdulla PAtig MBønneland FDas SJonsson BLång MSagonas K(2023)Tailoring Stateless Model Checking for Event-Driven Multi-threaded ProgramsAutomated Technology for Verification and Analysis10.1007/978-3-031-45332-8_9(176-198)Online publication date: 19-Oct-2023
- Kokologiannakis MVafeiadis V(2021)BAM: Efficient Model Checking for BarriersNetworked Systems10.1007/978-3-030-91014-3_16(223-239)Online publication date: 2-Dec-2021
- Show More Cited By