GSTE Is Partitioned Model Checking
No abstract available.
Related papers
- Compositional Specification and Model Checking in GSTE CAV 2004
- Efficient Model Checking by Automated Ordering of Transition Relation Partitions CAV 1994
- Stateless Model Checking Under a Reads-Value-From Equivalence CAV 2021
- Parallel and distributed bounded model checking of multi-threaded programs PPoPP 2020
- Using Bounded Model Checking to Focus Fixpoint Iterations SAS 2011
- Model checking for weakly consistent libraries PLDI 2019
- Types as models: model checking message-passing programs POPL 2002
- Efficient model partitioning for distributed model transformations SLE 2016