Automatic synthesis of specifications from the dynamic observation of reactive programs
- 1 January 1997
- book chapter
- Published by Springer Science and Business Media LLC
- p. 321-333
- https://doi.org/10.1007/bfb0035397
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Optimal tracing and replay for debugging message-passing parallel programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Formal validation of virtual finite state machinesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Model checking for programming languages using VeriSoftPublished by Association for Computing Machinery (ACM) ,1997
- Model checking in practice: An analysis of the ACCESS.bus™ protocol using SPINLecture Notes in Computer Science, 1996
- Symbolic Model CheckingPublished by Springer Science and Business Media LLC ,1993
- The concurrency workbenchACM Transactions on Programming Languages and Systems, 1993
- Techniques for debugging parallel programs with flowback analysisACM Transactions on Programming Languages and Systems, 1991
- Software for Analytical Development of Communications ProtocolsAT&T Technical Journal, 1990
- Reverse engineering and design recovery: a taxonomyIEEE Software, 1990
- On the Synthesis of Finite-State Machines from Samples of Their BehaviorIEEE Transactions on Computers, 1972