Model checking programs with Java PathFinder

Lecture Notes in Computer Science

Volumn 3639, Issue , 2005, Pages 27-

  Visser, Willem ^a   Mehlitz, Peter ^b  

^a Research Institute for Advanced Computer Science   (United States)

^b NASA AMES RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

JAVA PATHFINDER; MODELS CHECKING;

MODEL CHECKING;

EID: 26944487958     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11537328_5     Document Type: Conference Paper

References (0)