Designing executable abstractions

Authors:
Gerard J. Holzmann
Affiliations:
Bell Laboratories, 600 Mountain Avenue 2C-521, Murray Hill, NJ
Venue:
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Year:
1998

An Analysis of Bitstate Hashing

Formal Methods in System Design
Expressing interesting properties of programs in propositional temporal logic

POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Using shape analysis to reduce finite-state models of concurrent Java programs

ACM Transactions on Software Engineering and Methodology (TOSEM)
Automatic Analysis of Consistency between Requirements and Designs

IEEE Transactions on Software Engineering
The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited

Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Towards scalable compositional analysis by refactoring design models

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Simulation and verification I: from simulation to verification (and back)

Proceedings of the 35th conference on Winter simulation: driving innovation
Crafting a promela front-end with abstract data types to mitigate the sensitivity of (compositional) analysis to implementation choices

SPIN'05 Proceedings of the 12th international conference on Model Checking Software

Hi-index	0.00