Improved Model Checking of Hierarchical Systems
Abstract elided by the publisher.
Related papers
- Model checking of hierarchical state machines TOPLAS 2001
- COMPASS 3.0 TACAS 2019
- Hierarchical Representations of Discrete Functions, with Application to Model Checking CAV 1994
- Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock TACAS 1995
- The myrmics memory allocator: hierarchical, message-passing allocation for global address spaces ISMM 2012
- A Model Checker for Hierarchical Probabilistic Real-Time Systems CAV 2012
- A hierarchical approach to reducing communication in parallel graph algorithms PPoPP 2015
- Improving locality with parallel hierarchical copying GC ISMM 2006