Many-core on-the-fly model checking of safety properties using GPUs.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 2, p. 169, doi. 10.1007/s10009-015-0379-9
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2016 AND VI 18 AND IP 2
Results: 7
1
2
Monitoring modulo theories.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 2, p. 205, doi. 10.1007/s10009-015-0380-3
- By:
- Publication type:
- Article
3
Concurrent depth-first search algorithms based on Tarjan's Algorithm.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 2, p. 129, doi. 10.1007/s10009-015-0382-1
- By:
- Publication type:
- Article
4
SATMC: a SAT-based model checker for security protocols, business processes, and security APIs.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 2, p. 187, doi. 10.1007/s10009-015-0385-y
- By:
- Publication type:
- Article
5
Probabilistic verification and synthesis of the next generation airborne collision avoidance system.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 2, p. 227, doi. 10.1007/s10009-015-0388-8
- By:
- Publication type:
- Article
6
Some recent advances in automated analysis.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 2, p. 121, doi. 10.1007/s10009-015-0403-0
- By:
- Publication type:
- Article
7
FDR3: a parallel refinement checker for CSP.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 2, p. 149, doi. 10.1007/s10009-015-0377-y
- By:
- Publication type:
- Article