Formal methods
- 1 December 1996
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Computing Surveys
- Vol. 28 (4) , 626-643
- https://doi.org/10.1145/242223.242257
Abstract
No abstract availableThis publication has 30 references indexed in Scilit:
- Where do operations come from? A multiparadigm specification techniqueIEEE Transactions on Software Engineering, 1996
- Completeness and consistency in hierarchical state-based requirementsIEEE Transactions on Software Engineering, 1996
- Automated proofs of object code for a widely used microprocessorJournal of the ACM, 1996
- Formal methods reality check: industrial usageIEEE Transactions on Software Engineering, 1995
- Model checking in practice: the T9000 virtual channel processorIEEE Transactions on Software Engineering, 1995
- Specification and validation of a security policy modelIEEE Transactions on Software Engineering, 1995
- Specifying a safety-critical control system in ZIEEE Transactions on Software Engineering, 1995
- The RAISE language, method and toolsFormal Aspects of Computing, 1989
- Formal verification of fault tolerance using theorem-proving techniquesIEEE Transactions on Computers, 1989
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987