High-Level Specifications: Lessons from Industry
- 1 January 2003
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 17 references indexed in Scilit:
- Disk PaxosDistributed Computing, 2003
- Architecture and design of AlphaServer GS320ACM SIGPLAN Notices, 2000
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- How to write a long formulaFormal Aspects of Computing, 1994
- The temporal logic of actionsACM Transactions on Programming Languages and Systems, 1994
- The existence of refinement mappingsTheoretical Computer Science, 1991
- Protocol Verification via ProjectionsIEEE Transactions on Software Engineering, 1984
- An assertional correctness proof of a distributed algorithmScience of Computer Programming, 1982
- Proving the Correctness of Multiprocess ProgramsIEEE Transactions on Software Engineering, 1977
- An axiomatic basis for computer programmingCommunications of the ACM, 1969