Works matching IS 14332779 AND DT 2009 AND VI 11 AND IP 2
Results: 6
Automated implementation of complex distributed algorithms specified in the IOA language.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 2, p. 153, doi. 10.1007/s10009-008-0097-7
- By:
- Publication type:
- Article
Decision-diagram-based techniques for bounded reachability checking of asynchronous systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 2, p. 117, doi. 10.1007/s10009-009-0099-0
- By:
- Publication type:
- Article
An abstraction-based decision procedure for bit-vector arithmetic.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 2, p. 95, doi. 10.1007/s10009-009-0101-x
- By:
- Publication type:
- Article
A low-level memory model and an accompanying reachability predicate.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 2, p. 105, doi. 10.1007/s10009-009-0098-1
- By:
- Publication type:
- Article
Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 2, p. 85, doi. 10.1007/s10009-009-0100-y
- By:
- Publication type:
- Article
The worst-case execution time tool challenge 2006.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 2, p. 133, doi. 10.1007/s10009-008-0095-9
- By:
- Publication type:
- Article