Formally based tool support for model checking Erlang applications.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 4, p. 355, doi. 10.1007/s10009-010-0179-1
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2011 AND VI 13 AND IP 4
Results: 6
1
2
Path-oriented bounded reachability analysis of composed linear hybrid systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 4, p. 307, doi. 10.1007/s10009-010-0163-9
- By:
- Publication type:
- Article
3
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 4, p. 319, doi. 10.1007/s10009-010-0168-4
- By:
- Publication type:
- Article
4
ToolDAy: a tool for domain analysis.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 4, p. 337, doi. 10.1007/s10009-010-0174-6
- By:
- Publication type:
- Article
5
Recovery oriented programming: runtime monitoring of safety and liveness.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 4, p. 377, doi. 10.1007/s10009-011-0200-3
- By:
- Publication type:
- Article
6
Local abstraction-refinement for the μ-calculus.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 4, p. 289, doi. 10.1007/s10009-011-0202-1
- By:
- Publication type:
- Article