Variations on parallel explicit emptiness checks for generalized Büchi automata.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 6, p. 653, doi. 10.1007/s10009-016-0422-5
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2017 AND VI 19 AND IP 6
Results: 7
1
2
RAMBUTANS: automatic AOP-specific test generation tool.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 6, p. 743, doi. 10.1007/s10009-016-0432-3
- By:
- Publication type:
- Article
3
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 6, p. 717, doi. 10.1007/s10009-016-0434-1
- By:
- Publication type:
- Article
4
VerifyThis 2015.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 6, p. 763, doi. 10.1007/s10009-016-0438-x
- By:
- Publication type:
- Article
5
Some advances in tools and algorithms for the construction and analysis of systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 6, p. 649, doi. 10.1007/s10009-017-0471-4
- By:
- Publication type:
- Article
6
AutoProof: auto-active functional verification of object-oriented programs.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 6, p. 697, doi. 10.1007/s10009-016-0419-0
- By:
- Publication type:
- Article
7
Sylvan: multi-core framework for decision diagrams.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 6, p. 675, doi. 10.1007/s10009-016-0433-2
- By:
- Publication type:
- Article