Efficient BDDs for bounded arithmetic constraints.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 1, p. 26, doi. 10.1007/s10009-004-0171-8
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2006 AND VI 8 AND IP 1
Results: 6
1
2
CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 1, p. 37, doi. 10.1007/s10009-005-0194-9
- By:
- Publication type:
- Article
3
Interactive visualization of large state spaces.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 1, p. 77, doi. 10.1007/s10009-005-0198-5
- By:
- Publication type:
- Article
4
The saturation algorithm for symbolic state-space exploration.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 1, p. 4, doi. 10.1007/s10009-005-0188-7
- By:
- Publication type:
- Article
5
Why you should definitely read this special section.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 1, p. 1, doi. 10.1007/s10009-005-0199-4
- By:
- Publication type:
- Article
6
Pattern-based abstraction for verifying secrecy in protocols.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 1, p. 57, doi. 10.1007/s10009-005-0189-6
- By:
- Publication type:
- Article