Works matching IS 14332779 AND DT 2015 AND VI 17 AND IP 6
Results: 8
AutoProof meets some verification challenges.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 745, doi. 10.1007/s10009-014-0300-y
- By:
- Publication type:
- Article
KIV: overview and VerifyThis competition.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 677, doi. 10.1007/s10009-014-0308-3
- By:
- Publication type:
- Article
Let's verify this with Why3.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 709, doi. 10.1007/s10009-014-0314-5
- By:
- Publication type:
- Article
Solving the VerifyThis 2012 challenges with VeriFast.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 659, doi. 10.1007/s10009-014-0310-9
- By:
- Publication type:
- Article
SPARK 2014 and GNATprove.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 695, doi. 10.1007/s10009-014-0322-5
- By:
- Publication type:
- Article
Implementation-level verification of algorithms with KeY.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 729, doi. 10.1007/s10009-013-0293-y
- By:
- Publication type:
- Article
Witnessing the elimination of magic wands.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 757, doi. 10.1007/s10009-015-0372-3
- By:
- Publication type:
- Article
VerifyThis 2012.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 647, doi. 10.1007/s10009-015-0396-8
- By:
- Publication type:
- Article