Model checking with generalized Rabin and Fin-less automata.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 3, p. 307, doi. 10.1007/s10009-019-00508-4
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2019 AND VI 21 AND IP 3
Results: 7
1
2
Stateless model checking of the Linux kernel's read–copy update (RCU).
- Published in:
- International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 3, p. 287, doi. 10.1007/s10009-019-00514-6
- By:
- Publication type:
- Article
3
EdSketch: execution-driven sketching for Java.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 3, p. 249, doi. 10.1007/s10009-019-00512-8
- By:
- Publication type:
- Article
4
An integrated environment for Spin-based C code checking: Towards bringing model-driven code checking closer to practitioners.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 3, p. 267, doi. 10.1007/s10009-019-00510-w
- By:
- Publication type:
- Article
5
Introduction to Selected Papers from SPIN 2017.
- Published in:
- 2019
- By:
- Publication type:
- Editorial
6
A reasoning-based approach to dynamic domain reduction in test data generation.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 3, p. 351, doi. 10.1007/s10009-018-0493-6
- By:
- Publication type:
- Article
7
An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 3, p. 325, doi. 10.1007/s10009-019-00509-3
- By:
- Publication type:
- Article