Verifying OpenJDK's LinkedList using KeY (extended paper).
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 5, p. 783, doi. 10.1007/s10009-022-00679-7
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2022 AND VI 24 AND IP 5
Results: 10
1
2
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 5, p. 663, doi. 10.1007/s10009-022-00677-9
- By:
- Publication type:
- Article
3
Full-program induction: verifying array programs sans loop invariants.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 5, p. 843, doi. 10.1007/s10009-022-00676-w
- By:
- Publication type:
- Article
4
Analysis of non-Markovian repairable fault trees through rare event simulation.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 5, p. 821, doi. 10.1007/s10009-022-00675-x
- By:
- Publication type:
- Article
5
Assume, guarantee or repair: a regular framework for non regular properties.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 5, p. 667, doi. 10.1007/s10009-022-00669-9
- By:
- Publication type:
- Article
6
Scenario-based verification of uncertain parametric MDPs.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 5, p. 803, doi. 10.1007/s10009-022-00673-z
- By:
- Publication type:
- Article
7
A calculus for modular loop acceleration and non-termination proofs.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 5, p. 691, doi. 10.1007/s10009-022-00670-2
- By:
- Publication type:
- Article
8
The Discourje project: run-time verification of communication protocols in Clojure.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 5, p. 757, doi. 10.1007/s10009-022-00674-y
- By:
- Publication type:
- Article
9
The CoLiS platform for the analysis of maintainer scripts in Debian software packages.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 5, p. 717, doi. 10.1007/s10009-022-00671-1
- By:
- Publication type:
- Article
10
Partial-order reduction for parity games and parameterised Boolean equation systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 5, p. 735, doi. 10.1007/s10009-022-00672-0
- By:
- Publication type:
- Article