On Partitioning and Symbolic Model Checking
Lecture notes in computer science2005pp. 497–511
Citations Over Time
Related Papers
- → Progress on the State Explosion Problem in Model Checking(2001)196 cited
- → Symmetry in temporal logic model checking(2006)97 cited
- → Explicit-State Model Checking(2018)15 cited
- → Abstraction framework and complexity of model checking based on the Promela models(2009)3 cited
- → A Multiple Refinement Approach in Abstraction Model Checking(2014)1 cited