Connecting you to content on EBSCOhost

Works matching IS 14332779 AND DT 2004 AND VI 6 AND IP 4

Results: 5

1

Exploiting transition locality in automatic verification of finite-state concurrent systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 4, p. 320, doi. 10.1007/s10009-004-0149-6

By:

Della Penna, Giuseppe;
Intrigila, Benedetto;
Melatti, Igor;
Tronci, Enrico;
Venturini Zilli, Marisa

Publication type:

Article

2

Heuristics for model checking Java programs.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 4, p. 260, doi. 10.1007/s10009-003-0130-9

By:

Groce, Alex;
Visser, Willem

Publication type:

Article

3

Partial-order reduction and trail improvement in directed model checking.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 4, p. 277, doi. 10.1007/s10009-004-0151-z

By:

Edelkamp, Stefan;
Leue, Stefan;
Lluch-Lafuente, Alberto

Publication type:

Article

4

Symmetry reductions for model checking of concurrent dynamic software.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 4, p. 302, doi. 10.1007/s10009-004-0154-9

By:

Iosif, Radu

Publication type:

Article

5

Introductory paper.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 4, p. 257, doi. 10.1007/s10009-004-0168-3

By:

Dwyer, Matthew;
Leue, Stefan

Publication type:

Article