Partial-order reduction for general state exploring algorithms.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 1, p. 39, doi. 10.1007/s10009-008-0093-y
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2009 AND VI 11 AND IP 1
Results: 6
1
2
Software model checking is a rich research field.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 1, p. 1, doi. 10.1007/s10009-008-0089-7
- By:
- Publication type:
- Article
3
Parallel and distributed model checking in Eddy.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 1, p. 13, doi. 10.1007/s10009-008-0094-x
- By:
- Publication type:
- Article
4
Symbolic execution with abstraction.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 1, p. 53, doi. 10.1007/s10009-008-0090-1
- By:
- Publication type:
- Article
5
Bounded model checking of software using SMT solvers instead of SAT solvers.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 1, p. 69, doi. 10.1007/s10009-008-0091-0
- By:
- Publication type:
- Article
6
Directed model checking with distance-preserving abstractions.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 1, p. 27, doi. 10.1007/s10009-008-0092-z
- By:
- Publication type:
- Article