Filter-based model checking of partial systems

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 1998, Pages 189-202

  Dwyer, Matthew B ^a   Pasareanu, Corina S ^a  

^a KANSAS STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE REUSABILITY; COMPUTER SOFTWARE SELECTION AND EVALUATION; FINITE AUTOMATA; FORMAL LOGIC; MATHEMATICAL MODELS;

ASSUME-GUARANTEE REASONING; FILTER-BASED MODEL CHECKING; PARTIALLY DEFINED SOFTWARE SYSTEMS;

SOFTWARE ENGINEERING;

EID: 0032218205     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/291252.288307     Document Type: Conference Paper

References (32)