Model checking software systems
- 1 October 1995
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 20 (4) , 128-139
- https://doi.org/10.1145/222124.222148
Abstract
No abstract availableKeywords
This publication has 11 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
- Using belief to reason about cache coherencePublished by Association for Computing Machinery (ACM) ,1994
- State-based model checking of event-driven system requirementsIEEE Transactions on Software Engineering, 1993
- Model checking and abstractionPublished by Association for Computing Machinery (ACM) ,1992
- Coda: a highly available file system for a distributed workstation environmentIEEE Transactions on Computers, 1990
- A logic of authenticationACM Transactions on Computer Systems, 1990
- Scale and performance in a distributed file systemACM Transactions on Computer Systems, 1988
- The ITC distributed file systemPublished by Association for Computing Machinery (ACM) ,1985
- Knowledge and common knowledge in a distributed environmentPublished by Association for Computing Machinery (ACM) ,1984