Gerard J. Holzmann  Home/Search
Context
Related
| belllabs.com/cm/cs/who...gjh_cav02.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: belllabs.com/cm/cs/who/ger...abs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Most software developers today rely on only a small number of techniques to check their code for defects: peer review, code walkthroughs, and testing. Despite a rich literature on these subjects, the results often leave much to be desired. The current software testing process consumes a significant fraction of the overall resources in industrial software development, yet it cannot promise zero-defect code. There is reason to hope that the process can be improved. A range of tools and... (Update)
Active bibliography (related documents): More All
0.7: Logic Verification of ANSI-C code with SPIN - Holzmann (2000) (Correct)
0.5: Automating Software Feature Verification - Holzmann, Smith (2000) (Correct)
0.5: The Logic of Bugs - Holzmann (2002) (Correct)
Similar documents based on text: More All
0.2: Software Model Checking - Holzmann (2000) (Correct)
0.2: Implementing Statecharts in Promela/Spin - Mikk, Lakhnech, Siegel, Holzmann (1998) (Correct)
0.1: Outline for an Operational-Semantics Definition of PROMELA - Natarajan, Holzmann (1996) (Correct)
BibTeX entry: (Update)
@misc{ holzmann-software,
author = "Gerard J. Holzmann",
title = "Software Analysis and Model Checking",
url = "citeseer.ist.psu.edu/570221.html" }
Citations (may not include all citations):476 Programming Language (context) - Kernighan, Ritchie - 1988
270 Bandera: Extracting Finite-state Models from Java Source Cod.. - Corbett, Dwyer - 2000
259 A survey of program slicing techniques - Tip - 1995 DBLP
142 Simple On-the-fly Automatic Verification of Linear Temporal .. - Gerth, Peled et al. - 1995 ACM DBLP
140 Eraser: A dynamic data race detector for multithreaded progr.. - Savage, Burrows et al. - 1997
108 Automatically Validating Temporal Safety Properties of Inter.. - Ball, Rajamani - 2001
100 Checking system rules using system-specific (context) - Engler, Chelf et al. - 2000
54 Static Determination of Dynamic Properties of Programs (context) - Cousot, Cousot - 1976
22 Functional Program Testing and Analysis (context) - Howden - 1987 ACM
20 Vacuity detection in temporal model checking - Kupferman, Vardi - 1999
15 Automating software feature verification - Holzmann, Smith - 2000
12 Applying predicate abstraction to model checking object-orie.. (context) - Visser, Park et al. - 2000
11 on Software Engineering (context) - Holzmann, checker et al. - 1997
7 on Automated Software Engineering (context) - Visser, Havelund et al. - 2000
5 Slicing software for model construction - Hatcliff, Dwyer et al.
3 Pressburger Model Checking Java Programs Using Java PathFind.. (context) - Havelund
2 An impossible program (context) - Strachey - 1965
2 Kill Duck Before Serving (context) - Amster, McClain - 2002
1 6th World Conference on Integrated Design & Process Technolo.. (context) - Holzmann, code et al. - 2002
1 Technical Report November (context) - Kelly, Maslov et al. - 1996
1 Workshop on Spin Model Checking and Software Verification (context) - Harrow, of et al. - 2001
1 Workshop on Program Analysis for Software Tools and Engineer.. (context) - Holzmann, Software et al. - 2001
1 Technical Report (context) - Holzmann, Smith et al. - 2002
1 Holzmann Using Spin Model Checking for Flight Software Verif.. (context) - Gluck - 2002
Documents on the same site (http://cm.bell-labs.com/cm/cs/who/gerard/abs.html): More
Software Model Checking - Extracting Verification Models - Holzmann, Smith (1999) (Correct)
An Improved Protocol Reachability Analysis Technique - Holzmann (1988) (Correct)
Automating Software Feature Verification - Holzmann, Smith (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC