Software Verification and System Assurance (2009)

Cached

Download Links

by John Rushby
Citations:8 - 3 self

Documents Related by Co-Citation

5 Faulty MDM removed – Chris Bergin - 2008
44 Formally Specified Monitoring of Temporal Properties – Moonjoo Kim, Mahesh Viswanathan, Hanêne Ben-Abdallah, Sampath Kannan, Insup Lee, Oleg Sokolsky - 1999
5 ATSB preliminary factual report, in-flight upset, Qantas Airbus A330, 154 Km West of Learmonth – Kerryn Macaulay - 2008
43 Java-MOP: A monitoring oriented programming environment for Java – Feng Chen - 2005
1231 The Byzantine Generals Problem – Leslie Lamport, Robert Shostak, Marshall Pease - 1982
5 News and comment on the Aeroperu b757 accident; AeroPeru Flight 603 – Peter B Ladkin - 1996
4 Sampling-based program execution monitoring – S Fischmeister, Y Ba - 2010
5 Samplingbased runtime verification – Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister - 2011
11 Copilot: A hard realtime runtime monitor,” in Runtime Verification – L Pike, A Goodloe, R Morisset, S Niller - 2010
31 Ariane 5: Who dunnit – B Nuseibeh - 1997
37 MJRTY - A Fast Majority Vote Algorithm – Robert S. Boyer, Robert S. Boyer, J Strother Moore, J Strother Moore - 1982
308 QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs – Koen Claessen, John Hughes - 2000
198 An Investigation of the Therac-25 Accidents – Nancy G. Leveson - 1993
148 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
121 The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software – Ricky W. Butler, George B. Finelli - 1993
15 Rt-mac: Runtime monitoring and checking of quantitative and probabilistic properties – U Sammapun, I Lee, O Sokolsky - 2005
3 The boyer-moore majority vote algorithm – Wim H Hesselink - 2005
199 A tool for checking ANSI-C programs – Edmund Clarke, Daniel Kroening, Flavio Lerda - 2004
16 Type-safe observable sharing in haskell – A Gill - 2009