Developments in automated verification techniques.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 2, p. 123, doi. 10.1007/s10009-013-0297-7
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2014 AND VI 16 AND IP 2
Results: 5
1
2
Bounded phase analysis of message-passing programs.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 2, p. 127, doi. 10.1007/s10009-013-0276-z
- By:
- Publication type:
- Article
3
Closed-loop verification of medical devices with model abstraction and refinement.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 2, p. 191, doi. 10.1007/s10009-013-0289-7
- By:
- Publication type:
- Article
4
Pushdown model checking for malware detection.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 2, p. 147, doi. 10.1007/s10009-013-0290-1
- By:
- Publication type:
- Article
5
A bit too precise? Verification of quantized digital filters.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 2, p. 175, doi. 10.1007/s10009-013-0279-9
- By:
- Publication type:
- Article