Reducing Behavioural to Structural Properties of Programs with Procedures
Abstract elided by the publisher.
Related papers
- Separation Logic Modulo Theories APLAS 2013
- Property-Based Testing: Climbing the Stairway to Verification SLE 2022
- Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability VMCAI 2024
- Concurrent Data Structures Linked in Time ECOOP 2017
- Maximal specification synthesis POPL 2016
- An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems CAV 1991
- Model Checking via Reachability Testing for Timed Automata TACAS 1998
- Extensionality and Intensionality of the Ambient Logics POPL 2001