A case study in model checking software systems
- 30 April 1997
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 28 (2-3) , 273-299
- https://doi.org/10.1016/s0167-6423(96)00020-2
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- 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
- State-based model checking of event-driven system requirementsIEEE Transactions on Software Engineering, 1993
- The concurrency workbenchACM Transactions on Programming Languages and Systems, 1993
- Coda: a highly available file system for a distributed workstation environmentIEEE Transactions on Computers, 1990
- A logic of authenticationACM Transactions on Computer Systems, 1990
- Software for Analytical Development of Communications ProtocolsAT&T Technical Journal, 1990
- Scale and performance in a distributed file systemACM Transactions on Computer Systems, 1988
- Hierarchical correctness proofs for distributed algorithmsPublished by Association for Computing Machinery (ACM) ,1987
- Automatic Verification of Sequential Circuits Using Temporal LogicIEEE Transactions on Computers, 1986