Works matching IS 14332779 AND DT 2005 AND VI 7 AND IP 2
Results: 9
A BMC-based formulation for the scheduling problem of hardware systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 2, p. 102, doi. 10.1007/s10009-004-0170-9
- By:
- Publication type:
- Article
Are BDDs still alive within sequential verification?
- Published in:
- International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 2, p. 129, doi. 10.1007/s10009-004-0172-7
- By:
- Publication type:
- Article
Introductory paper.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 2, p. 87, doi. 10.1007/s10009-004-0186-1
- By:
- Publication type:
- Article
BMC via on-the-fly determinization.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 2, p. 89, doi. 10.1007/s10009-004-0178-1
- By:
- Publication type:
- Article
Symbolic computational techniques for solving games.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 2, p. 118, doi. 10.1007/s10009-004-0179-0
- By:
- Publication type:
- Article
Computational challenges in bounded model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 2, p. 174, doi. 10.1007/s10009-004-0182-5
- By:
- Publication type:
- Article
Functional programming languages for verification tools: a comparison of StandardMLandHaskell.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 2, p. 184, doi. 10.1007/s10009-004-0184-3
- By:
- Publication type:
- Article
A survey of recent advances in SAT-based formal verification.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 2, p. 156, doi. 10.1007/s10009-004-0183-4
- By:
- Publication type:
- Article
Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 2, p. 143, doi. 10.1007/s10009-004-0169-2
- By:
- Publication type:
- Article