Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs
Abstract elided by the publisher.
Related papers
- Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs, TACAS 2007
- SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions CAV 2021
- Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning TACAS 2007
- Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios CAV 2023
- Planning for change in a formal verification of the raft consensus protocol CPP 2016
- Higher-Order Modules and the Phase Distinction POPL 1990
- Languages as first-class citizens (vision paper) SLE 2018
- Model Checking ømega-Regular Properties with Decoupled Search CAV 2021