Parallel partial order reduction with topological sort proviso, SEFM'10, pp.222-231, 2010. ,
Multi-core scc-based ltl model checking, HVC'16, pp.18-33, 2016. ,
Multi-core on-the-fly scc decomposition, vol.51, 2016. ,
Partial-order reduction for general state exploring algorithms, SPIN'06, vol.3925, pp.271-287 ,
Partial-order reduction for general state exploring algorithms, International Journal on Software Tools for Technology Transfer (STTT), vol.11, issue.1, pp.39-51, 2009. ,
On-the-fly verification of temporal logic, FM'99, vol.1708, pp.253-271, 1999. ,
Heuristics for checking liveness properties with partial order reductions, ATVA'16, vol.9938, pp.340-356, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01368309
Spot 2.0 -a framework for LTL and ?-automata manipulation, ATVA'16, vol.9938, pp.122-129, 2016. ,
Solving the ignoring problem for partial order reduction, International Journal on Software Tools for Technology Transfer, vol.12, issue.2, pp.155-170, 2010. ,
Improved multi-core nested depth-first search, ATVA'12, vol.7561, pp.269-283 ,
Safety property-driven stubborn sets, Reachability Problems, 2016. ,
On nested depth first search, DIMACS: Series in Discrete Mathematics and Theoretical Computer Science, vol.32, 1996. ,
Swarm verification techniques, IEEE Transaction on Software Engineering, vol.37, issue.6, pp.845-857, 2011. ,
Improved on-the-fly livelock detection, NASA Formal Methods (NFM'13), pp.32-47, 2013. ,
Guard-based partial-order reduction. STTT, pp.1-22, 2014. ,
Partial-order reduction for multi-core ltl model checking, HVC 2014, vol.8855, pp.267-283, 2014. ,
Distributed-memory model checking with spin, International SPIN Workshop on Model Checking of Software, pp.22-39, 1999. ,
An efficient partial order reduction algorithm with an alternative proviso implementation, vol.20, pp.231-247, 2002. ,
Partial order reduction for pins, 2011. ,
BEEM: benchmarks for explicit model checkers, SPIN'07, vol.4595, pp.263-267, 2007. ,
Properties of state spaces and their applications, International Journal on Software Tools for Technology Transfer (STTT), vol.10, pp.443-454, 2008. ,
Combining partial order reductions with on-the-fly model-checking, CAV'94, vol.818, pp.377-390, 1994. ,
Relaxed visibility enhances partial order reduction, Formal Methods in System Design, vol.19, issue.3, pp.275-289, 2001. ,
Variations on parallel explicit model checking for generalized Büchi automata, International Journal on Software Tools for Technology Transfer (STTT), pp.1-21, 2016. ,
What's wrong with on-the-fly partial order reduction, CAV'19, pp.478-495, 2019. ,
Depth-first search and linear graph algorithms, SIAM Journal on Computing, vol.1, issue.2, pp.146-160, 1972. ,
Stubborn sets for reduced state space generation, ICATPN'91, vol.618, pp.491-515, 1991. ,
More stubborn set methods for process algebras, Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday, pp.246-271, 2017. ,