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

DOI10.1007/978-3-540-71209-1_33MaRDI QIDQ5758124zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(8)

• Learning Meets Verification
• scientific article; zbMATH DE number 2016062 (Why is no real title available?)
• scientific article; zbMATH DE number 2017339 (Why is no real title available?)
• 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)