PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus
No abstract available.
Related papers
- On Higher-Order Model Checking of Effectful Answer-Type-Polymorphic Programs OOPSLA 2025
- On continuation-passing transformations and expected cost analysis ICFP 2021
- A foundation for flow-based program matching: using temporal logic and model checking POPL 2009
- Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus POPL 2025
- Types as models: model checking message-passing programs POPL 2002
- µcke - Efficient µ-Calculus Model Checking CAV 1997
- Modal µ-Calculus, Model Checking and Gauß Elimination TACAS 1995
- Methods for Mu-calculus Model Checking: A Tutorial (Abstract) CAV 1995