Synthesis from scenario-based specifications
From MaRDI portal
Publication:439960
DOI10.1016/j.jcss.2011.08.008zbMath1246.68095OpenAlexW2024101817MaRDI 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
Uses Software
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Synthesis from scenario-based specifications