Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning

DOI10.1007/978-3-540-71209-1_33zbMATH Open1186.68106OpenAlexW2166917330MaRDI QIDQ5758124FDOQ5758124

Authors: Benedikt Bollig, Carsten Kern, Martin Leucker, Joost-Pieter Katoen 

Publication date: 3 September 2007

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71209-1_33

Recommendations

• Formal Methods in Software and Systems Modeling
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Synthesis from scenario-based specifications
• From scenarios to timed automata
• On the power of play-out for scenario-based programs

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (8)

• Learning Meets Verification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Minimization of the number of clocks for timed scenarios
• On the power of play-out for scenario-based programs
• Active learning for sound negotiations
• Operations on timed scenarios

This page was built for publication: Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5758124)