Software Verification and System Assurance (2009)

Cached

Download Links

by John Rushby
Citations:7 - 2 self

Documents Related by Co-Citation

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
44 Formally Specified Monitoring of Temporal Properties – Moonjoo Kim, Mahesh Viswanathan, Hanêne Ben-Abdallah, Sampath Kannan, Insup Lee, Oleg Sokolsky - 1999
1227 The Byzantine Generals Problem – Leslie Lamport, Robert Shostak, Marshall Pease - 1982
43 Java-MOP: A monitoring oriented programming environment for Java – Feng Chen - 2005
5 News and comment on the Aeroperu b757 accident; AeroPeru Flight 603 – Peter B Ladkin - 1996
5 Samplingbased runtime verification – Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister - 2011
31 Ariane 5: Who dunnit – B Nuseibeh - 1997
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
4 Sampling-based program execution monitoring – S Fischmeister, Y Ba - 2010
11 Copilot: A hard realtime runtime monitor,” in Runtime Verification – L Pike, A Goodloe, R Morisset, S Niller - 2010
37 MJRTY - A Fast Majority Vote Algorithm – Robert S. Boyer, Robert S. Boyer, J Strother Moore, J Strother Moore - 1982
309 QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs – Koen Claessen, John Hughes - 2000
195 An Investigation of the Therac-25 Accidents – Nancy G. Leveson - 1993
112 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 – Usa Sammapun, Insup Lee, Oleg Sokolsky - 2005
16 Type-Safe Observable Sharing in Haskell – A Gill - 2009
200 A tool for checking ANSI-C programs – Edmund Clarke, Daniel Kroening, Flavio Lerda - 2004
3 The boyer-moore majority vote algorithm – Wim H Hesselink - 2005