Work

Software model checking: extracting verification models from source code†

Year: 2001

Type: article

Source: Software Testing Verification and Reliability

DOI: 10.1002/stvr.228

Authors: Gerard J. Holzmann, Margaret H. Smith

Institution: Alcatel-Lucent (France)

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1974940962

FWCI: 28.4

Cites: 15

Cited by: 166

Related to: 10