Model checking unbounded concurrent lists.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 4, p. 375, doi. 10.1007/s10009-015-0369-y
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2016 AND VI 18 AND IP 4
Results: 7
1
2
Verifying a quantitative relaxation of linearizability via refinement.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 4, p. 393, doi. 10.1007/s10009-015-0373-2
- By:
- Publication type:
- Article
3
Guided search for hybrid systems based on coarse-grained space abstractions.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 4, p. 449, doi. 10.1007/s10009-015-0393-y
- By:
- Publication type:
- Article
4
Guard-based partial-order reduction.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 4, p. 427, doi. 10.1007/s10009-014-0363-9
- By:
- Publication type:
- Article
5
Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 4, p. 359, doi. 10.1007/s10009-015-0366-1
- By:
- Publication type:
- Article
6
Preface of the special issue on Model Checking of Software.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 4, p. 355, doi. 10.1007/s10009-016-0414-5
- By:
- Publication type:
- Article
7
Efficient model-checking of weighted CTL with upper-bound constraints.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 4, p. 409, doi. 10.1007/s10009-014-0359-5
- By:
- Publication type:
- Article