Selection of formal verification heuristics for parallel execution.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 1, p. 95, doi. 10.1007/s10009-011-0204-z
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2012 AND VI 14 AND IP 1
Results: 6
1
2
An abstraction refinement approach combining precise and approximated techniques.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 1, p. 1, doi. 10.1007/s10009-011-0185-y
- By:
- Publication type:
- Article
3
Modelling and analysis using GROOVE.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 1, p. 15, doi. 10.1007/s10009-011-0186-x
- By:
- Publication type:
- Article
4
The common aspect proof environment.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 1, p. 41, doi. 10.1007/s10009-011-0191-0
- By:
- Publication type:
- Article
5
Coverage-biased random exploration of large models and application to testing.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 1, p. 73, doi. 10.1007/s10009-011-0190-1
- By:
- Publication type:
- Article
6
Statistical abstraction and model-checking of large heterogeneous systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 1, p. 53, doi. 10.1007/s10009-011-0201-2
- By:
- Publication type:
- Article