Works matching IS 14332779 AND DT 2019 AND VI 21 AND IP 5
Results: 4
Symmetry reduction in CSP model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 5, p. 567, doi. 10.1007/s10009-019-00516-4
- By:
- Publication type:
- Article
Combining sequentialization-based verification of multi-threaded C programs with symbolic Partial Order Reduction.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 5, p. 545, doi. 10.1007/s10009-019-00507-5
- By:
- Publication type:
- Article
Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 5, p. 515, doi. 10.1007/s10009-018-0497-2
- By:
- Publication type:
- Article
The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 5, p. 485, doi. 10.1007/s10009-018-0490-9
- By:
- Publication type:
- Article