The role of formal methods in achieving dependable software
- 31 December 1994
- journal article
- Published by Elsevier in Reliability Engineering & System Safety
- Vol. 43 (2) , 129-134
- https://doi.org/10.1016/0951-8320(94)90058-2
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- A reply to the criticisms of the Knight & Leveson experimentACM SIGSOFT Software Engineering Notes, 1990
- Properties of Z specificationsACM SIGSOFT Software Engineering Notes, 1989
- Introduction to Discrete Mathematics for Software EngineeringPublished by Springer Nature ,1986
- An experimental evaluation of the assumption of independence in multiversion programmingIEEE Transactions on Software Engineering, 1986