Efficient monitoring of safety properties.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 2, p. 158, doi. 10.1007/s10009-003-0117-6
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2004 AND VI 6 AND IP 2
Results: 7
1
2
CLPS–B – A constraint solver to animate a B specification.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 2, p. 143, doi. 10.1007/s10009-003-0123-8
- By:
- Publication type:
- Article
3
Exploring very large state spaces using genetic algorithms.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 2, p. 117, doi. 10.1007/s10009-004-0141-1
- By:
- Publication type:
- Article
4
Probabilistic symbolic model checking with PRISM: a hybrid approach.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 2, p. 128, doi. 10.1007/s10009-004-0140-2
- By:
- Publication type:
- Article
5
Test sequence generation and model checking using dynamic transition relations.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 2, p. 174, doi. 10.1007/s10009-004-0142-0
- By:
- Publication type:
- Article
6
Fate and free will in error traces.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 2, p. 102, doi. 10.1007/s10009-004-0146-9
- By:
- Publication type:
- Article
7
Guest editors’ introduction: Advancements and extensions of verification techniques.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 2, p. 99, doi. 10.1007/s10009-004-0150-0
- By:
- Publication type:
- Article