Flexible SAT-based framework for incremental bounded upgrade checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 5, p. 517, doi. 10.1007/s10009-015-0405-y
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2017 AND VI 19 AND IP 5
Results: 8
1
2
An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 5, p. 549, doi. 10.1007/s10009-016-0415-4
- By:
- Publication type:
- Article
3
Underapproximation of procedure summaries for integer programs.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 5, p. 565, doi. 10.1007/s10009-016-0420-7
- By:
- Publication type:
- Article
4
Efficient family-based model checking via variability abstractions.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 5, p. 585, doi. 10.1007/s10009-016-0425-2
- By:
- Publication type:
- Article
5
metaSMT: focus on your application and not on solver integration.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 5, p. 605, doi. 10.1007/s10009-016-0426-1
- By:
- Publication type:
- Article
6
A general model checking framework for various memory consistency models.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 5, p. 623, doi. 10.1007/s10009-016-0429-y
- By:
- Publication type:
- Article
7
Advances in verification presented in TACAS'13.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 5, p. 511, doi. 10.1007/s10009-017-0460-7
- By:
- Publication type:
- Article
8
Synthesis of circular compositional program proofs via abduction.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 5, p. 535, doi. 10.1007/s10009-015-0397-7
- By:
- Publication type:
- Article