Formal Methods in Software and Systems Modeling
From MaRDI portal
Publication:5710415
DOI10.1007/b106390zbMath1075.68614MaRDI QIDQ5710415
Amir Pnueli, Hillel Kugler, David Harel
Publication date: 2 December 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b106390
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Aggregating Causal Runs into Workflow Nets, Verifying Communication Protocols Using Live Sequence Chart Specifications, Synthesis of Reo Circuits from Scenario-based Specifications, On the Power of Play-Out for Scenario-Based Programs, Some Results on the Expressive Power and Complexity of LSCs, Integrating discrete controller synthesis into a reactive programming language compiler, Synthesis of Reo circuits from scenario-based interaction specifications, Minimization of the number of clocks for timed scenarios, Improving Translation of Live Sequence Charts to Temporal Logic