*Result*: Mixed symbolic representations for model checking software programs
Title:
Mixed symbolic representations for model checking software programs
Authors:
Source:
Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Formal Methods and Models for Co-Design Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on. :17-26 2006
Relation:
Proceedings. Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE'06)
Database:
IEEE Xplore Digital Library