Work

Using Runtime Analysis to Guide Model Checking of Java Programs

Year: 2000

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/10722468_15

Author: Klaus Havelund

Institutions: Ames Research Center, Kestrel Technology (United States)

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1862182621

FWCI: 4.821

Cites: 34

Cited by: 183

Related to: 10