Works matching IS 14332779 AND DT 2004 AND VI 6 AND IP 4
Results: 5
Exploiting transition locality in automatic verification of finite-state concurrent systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 4, p. 320, doi. 10.1007/s10009-004-0149-6
- By:
- Publication type:
- Article
Heuristics for model checking Java programs.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 4, p. 260, doi. 10.1007/s10009-003-0130-9
- By:
- Publication type:
- Article
Partial-order reduction and trail improvement in directed model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 4, p. 277, doi. 10.1007/s10009-004-0151-z
- By:
- Publication type:
- Article
Symmetry reductions for model checking of concurrent dynamic software.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 4, p. 302, doi. 10.1007/s10009-004-0154-9
- By:
- Publication type:
- Article
Introductory paper.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 4, p. 257, doi. 10.1007/s10009-004-0168-3
- By:
- Publication type:
- Article