Works matching IS 14332779 AND DT 2020 AND VI 22 AND IP 5
Results: 8
Introduction to the special issue for SPIN 2019.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 5, p. 563, doi. 10.1007/s10009-020-00580-1
- By:
- Publication type:
- Article
VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 5, p. 617, doi. 10.1007/s10009-020-00579-8
- By:
- Publication type:
- Article
Dependency graphs with applications to verification.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 5, p. 635, doi. 10.1007/s10009-020-00578-9
- By:
- Publication type:
- Article
A study of learning likely data structure properties using machine learning models.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 5, p. 601, doi. 10.1007/s10009-020-00577-w
- By:
- Publication type:
- Article
Swarm model checking on the GPU.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 5, p. 583, doi. 10.1007/s10009-020-00576-x
- By:
- Publication type:
- Article
Extracting safe thread schedules from incomplete model checking results.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 5, p. 565, doi. 10.1007/s10009-020-00575-y
- By:
- Publication type:
- Article
Variable order metrics for decision diagrams in system verification.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 5, p. 541, doi. 10.1007/s10009-019-00522-6
- By:
- Publication type:
- Article
Approximate reduction of finite automata for high-speed network intrusion detection.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 5, p. 523, doi. 10.1007/s10009-019-00520-8
- By:
- Publication type:
- Article