Efficient guided symbolic reachability using reachability expressions.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2008, v. 10, n. 2, p. 113, doi. 10.1007/s10009-007-0057-7
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2008 AND VI 10 AND IP 2
Results: 7
1
2
A negative result on depth-first net unfoldings.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2008, v. 10, n. 2, p. 161, doi. 10.1007/s10009-007-0030-5
- By:
- Publication type:
- Article
3
ProB: an automated analysis toolset for the B method.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2008, v. 10, n. 2, p. 185, doi. 10.1007/s10009-007-0063-9
- By:
- Publication type:
- Article
4
Exploiting traces in static program analysis: better model checking through $${{\tt printf}}$$ s.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2008, v. 10, n. 2, p. 131, doi. 10.1007/s10009-007-0058-6
- By:
- Publication type:
- Article
5
Improving state class constructions for CTL* model checking of time Petri nets.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2008, v. 10, n. 2, p. 167, doi. 10.1007/s10009-007-0040-3
- By:
- Publication type:
- Article
6
An approach for experimentally evaluating effectiveness and efficiency of coverage criteria for software testing.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2008, v. 10, n. 2, p. 145, doi. 10.1007/s10009-007-0059-5
- By:
- Publication type:
- Article
7
Improving the effectiveness of system verification.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2008, v. 10, n. 2, p. 111, doi. 10.1007/s10009-007-0060-z
- By:
- Publication type:
- Article