Efficient and effective symbolic model checking

Efficient and effective symbolic model checking

Not available === text

Bibliographic Details
Main Author: Iyer, Subramanian Krishnan
Format: Others
Language:English
Published: 2008
Subjects:
Computer programs > Verification
State-space methods
Formal methods (Computer science)
Online Access:http://hdl.handle.net/2152/2888

Internet

http://hdl.handle.net/2152/2888

Similar Items