Automated translation of VDM to JML-annotated Java.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 2, p. 211, doi. 10.1007/s10009-017-0448-3
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2018 AND VI 20 AND IP 2
Results: 7
1
2
PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 2, p. 195, doi. 10.1007/s10009-017-0476-z
- By:
- Publication type:
- Article
3
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 2, p. 179, doi. 10.1007/s10009-017-0456-3
- By:
- Publication type:
- Article
4
Multi-core symbolic bisimulation minimisation.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 2, p. 157, doi. 10.1007/s10009-017-0468-z
- By:
- Publication type:
- Article
5
The Tinker tool for graphical tactic development.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 2, p. 139, doi. 10.1007/s10009-017-0452-7
- By:
- Publication type:
- Article
6
Coqoon: An IDE for interactive proof development in Coq.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 2, p. 125, doi. 10.1007/s10009-017-0457-2
- By:
- Publication type:
- Article
7
Recent advances in interactive and automated analysis.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 2, p. 119, doi. 10.1007/s10009-017-0477-y
- By:
- Publication type:
- Article