Works matching IS 14332779 AND DT 2020 AND VI 22 AND IP 6
Results: 8
AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 6, p. 741, doi. 10.1007/s10009-020-00582-z
- By:
- Publication type:
- Article
Tools for the construction and analysis of systems: A special issue for TACAS 2018.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 6, p. 685, doi. 10.1007/s10009-020-00581-0
- By:
- Publication type:
- Article
An efficient statistical model checker for nondeterminism and rare events.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 6, p. 759, doi. 10.1007/s10009-020-00563-2
- By:
- Publication type:
- Article
The Refinement Calculus of Reactive Systems Toolset.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 6, p. 689, doi. 10.1007/s10009-020-00561-4
- By:
- Publication type:
- Article
Automating deductive verification for weak-memory programs (extended version).
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 6, p. 709, doi. 10.1007/s10009-020-00559-y
- By:
- Publication type:
- Article
Efficient monitoring of hyperproperties using prefix trees.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 6, p. 729, doi. 10.1007/s10009-020-00552-5
- By:
- Publication type:
- Article
On ranking functions for single-path linear-constraint loops.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 6, p. 655, doi. 10.1007/s10009-019-00549-9
- By:
- Publication type:
- Article
Enabling continuous integration in a formal methods setting.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 6, p. 667, doi. 10.1007/s10009-019-00546-y
- By:
- Publication type:
- Article