Efficient Reachability Analysis of Hierarchical Reactive Machines
No abstract available.
Related papers
- Modular Refinement of Hierarchic Reactive Machines POPL 2000
- Modular refinement of hierarchic reactive machines TOPLAS 2004
- Analysis of recursive state machines TOPLAS 2005
- Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs CAV 2005
- Model checking of hierarchical state machines TOPLAS 2001
- DAG inlining: a decision procedure for reachability-modulo-theories in hierarchical programs PLDI 2015
- On Hierarchical Communication Topologies in the \pi -calculus ESOP 2016
- Analysis of Recursively Parallel Programs TOPLAS 2013