Back to Results
First PageMeta Content
Diagrams / Formal methods / Boolean algebra / Binary decision diagram / Model checking / Model checkers / NuSMV / Satisfiability Modulo Theories / Abstraction / Mathematics / Theoretical computer science / Applied mathematics


Int J Softw Tools Technol Transfer[removed]:507–518 DOI[removed]s10009[removed]RERS BDD-based software verification
Add to Reading List

Document Date: 2015-02-12 10:11:50


Open Document

File Size: 628,13 KB

Share Result on Facebook
UPDATE