Back to Results
First PageMeta Content
Mathematics / Model checking / PAT / Linear temporal logic / Formal methods / Algorithm / Correctness / Logic / Theoretical computer science / Model checkers / Applied mathematics


An Automata-Theoretic Approach to Hardware/Software Co-verification
Add to Reading List

Document Date: 2010-11-19 03:22:01


Open Document

File Size: 2,11 MB

Share Result on Facebook
UPDATE