Checking relational specifications with binary decision diagrams

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

Volumn , Issue , 1996, Pages 70-80

  Damon, Craig A ^a   Jackson, Daniel ^a   Jha, Somesh ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE; DECISION THEORY; MATRIX ALGEBRA; SET THEORY;

BINARY DECISION DIAGRAMS (BDD);

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0030415378     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/250707.239110     Document Type: Conference Paper

References (23)