Software Verification and System Assurance (2009)

Cached

Download Links

by John Rushby
Citations:8 - 3 self

Documents Related by Co-Citation

1255 The Byzantine Generals Problem – Leslie Lamport, Robert Shostak, Marshall Pease - 1982
315 QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs – Koen Claessen, John Hughes - 2000
44 Formally Specified Monitoring of Temporal Properties – Moonjoo Kim, Mahesh Viswanathan, HanĂȘne Ben-Abdallah, Sampath Kannan, Insup Lee, Oleg Sokolsky - 1999
43 Java-MOP: A monitoring oriented programming environment for Java – Feng Chen - 2005
5 Faulty MDM removed – Chris Bergin - 2008
5 ATSB preliminary factual report, in-flight upset, Qantas Airbus A330, 154 Km West of Learmonth – Kerryn Macaulay - 2008
203 An Investigation of the Therac-25 Accidents – Nancy G. Leveson - 1993
166 seL4: Formal Verification of an OS Kernel – Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood - 2009
636 Stochasic processes – S M Ross - 1996