Documents Related by Co-Citation

84 The temporal rover and the ATG rover – D Drusinsky - 2000
314 Model Checking Java Programs Using Java PathFinder – Klaus Havelund, Thomas Pressburger - 1998
11 Synthesizing Dynamic Programming Algorithms from Linear Temporal Logic Formulae – Grigore Rosu, Klaus Havelund - 2001
28 The Maude system – M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, J F Quesada - 1999
70 Using Runtime Analysis to Guide Model Checking of Java Programs – Klaus Havelund - 2000
462 Model Checking Programs – Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA - 2003
125 Monitoring Java programs with Java PathExplorer – K Havelund, G Rosu - 2001
70 Runtime Assurance Based On Formal Specifications – Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan - 1999
1204 The temporal logic of programs – A Pnueli - 1977
54 Runtime Checking of Multithreaded Applications with Visual Threads – Jerry J. Harrow, Jr. - 2000
72 Formal Analysis of a Space Craft Controller using SPIN – Klaus Havelund, Mike Lowry, John Penix - 1998
557 Eraser: a dynamic data race detector for multithreaded programs – Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson - 1997
59 Automata-Based Verification of Temporal Properties on Running Programs – Dimitra Giannakopoulou, Klaus Havelund - 2001
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
52 Refutational theorem proving using term rewriting systems – J Hsiang - 1985
1254 The model checker SPIN – Gerard J. Holzmann - 1997
2 The AutoBayes Program Synthesis System - System Description – Bernd Fischer, Thomas Pressburger, Grigore Rosu, Johann Schumann
4 Java PathExplorer { A Runtime Veri Tool – K Havelund, G Rosu - 2001
3 Amphion: Automatic Programming for the NAIF Toolkit – M Lowry, A Philpot, T Pressburger, I Underwood, R Waldinger, M Stickel - 1994