Synthesis from scenario-based specifications
From MaRDI portal
Publication:439960
DOI10.1016/j.jcss.2011.08.008zbMath1246.68095MaRDI QIDQ439960
Publication date: 17 August 2012
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jcss.2011.08.008
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Using branching time temporal logic to synthesize synchronization skeletons
- SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS
- A Deductive Approach to Program Synthesis
- On the Power of Play-Out for Scenario-Based Programs
- Solving Sequential Conditions by Finite-State Strategies
- Decidability of Second-Order Theories and Automata on Infinite Trees
- FM 2005: Formal Methods
- Verification, Model Checking, and Abstract Interpretation
- LSCs: Breathing life into message sequence charts