LTL generalized model checking revisited.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 6, p. 571, doi. 10.1007/s10009-010-0169-3
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2011 AND VI 13 AND IP 6
Results: 7
1
2
Synthesizing switching logic using constraint solving.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 6, p. 519, doi. 10.1007/s10009-010-0172-8
- By:
- Publication type:
- Article
3
Average-price-per-reward games on hybrid automata with strong resets.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 6, p. 553, doi. 10.1007/s10009-010-0180-8
- By:
- Publication type:
- Article
4
Finding concurrency-related bugs using random isolation.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 6, p. 495, doi. 10.1007/s10009-011-0197-7
- By:
- Publication type:
- Article
5
SubPolyhedra: a family of numerical abstract domains for the (more) scalable inference of linear inequalities.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 6, p. 585, doi. 10.1007/s10009-011-0199-5
- By:
- Publication type:
- Article
6
An abort-aware model of transactional programming.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 6, p. 537, doi. 10.1007/s10009-011-0203-0
- By:
- Publication type:
- Article
7
Preface to a special section on verification, model checking, and abstract interpretation.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 6, p. 491, doi. 10.1007/s10009-011-0214-x
- By:
- Publication type:
- Article