<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2010-11-19 03:22:01Mathematics Model checking PAT Linear temporal logic Formal methods Algorithm Correctness Logic Theoretical computer science Model checkers Applied mathematics |
|
| First Page | Document Content | |
|---|---|---|
Date: 2010-11-19 03:22:01Mathematics 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