Works matching IS 14332779 AND DT 2004 AND VI 5 AND IP 2/3

Results: 12

Directed explicit-state model checking in the validation of communication protocols.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 5, n. 2/3, p. 247, doi. 10.1007/s10009-002-0104-3

By:

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

Publication type:

Article

Covering sharing trees: a compact data structure for parameterized verification.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 5, n. 2/3, p. 268, doi. 10.1007/s10009-003-0110-0

By:

Delzanno, Giorgio;
Raskin, Jean-François;
Van Begin, Laurent

Publication type:

Article

Development of a verified Erlang program for resource locking.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 5, n. 2/3, p. 205, doi. 10.1007/s10009-003-0114-9

By:

Arts, Thomas;
Earle, Clara Benac;
Derrick, John

Publication type:

Article

Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 5, n. 2/3, p. 221, doi. 10.1007/s10009-003-0118-5

By:

Daws, Conrado;
Kwiatkowska, Marta;
Norman, Gethin

Publication type:

Article

Lightweight coarse-grained coordination: a scalable system-level approach.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 5, n. 2/3, p. 107, doi. 10.1007/s10009-003-0119-4

By:

Margaria, Tiziana;
Steffen, Bernhard

Publication type:

Article

Properties of two’s complement floating point notations.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 5, n. 2/3, p. 237, doi. 10.1007/s10009-003-0120-y

By:

Boldo, Sylvie;
Daumas, Marc

Publication type:

Article

Efficient reduction of finite state model checking to reachability analysis.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 5, n. 2/3, p. 185, doi. 10.1007/s10009-003-0121-x

By:

Schuppan, Viktor;
Biere, Armin

Publication type:

Article

αSPIN: A tool for abstract model checking.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 5, n. 2/3, p. 165, doi. 10.1007/s10009-003-0122-9

By:

del Mar Gallardo, María;
Martínez, Jesús;
Merino, Pedro;
Pimentel, Ernesto

Publication type:

Article

Counter-example generation in symbolic abstract model-checking.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 5, n. 2/3, p. 158, doi. 10.1007/s10009-003-0127-4

By:

Pace, Gordon;
Halbwachs, Nicolas;
Raymond, Pascal

Publication type:

Article

Model-based testing for real: The inhouse card case study.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 5, n. 2/3, p. 140, doi. 10.1007/s10009-003-0128-3

By:

Pretschner, A.;
Slotosch, O.;
Aiglstorfer, E.;
Kriebel, S.

Publication type:

Article

Validation and automatic test generation on UML models: the AGATHA approach.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 5, n. 2/3, p. 124, doi. 10.1007/s10009-003-0133-6

By:

Lugato, David;
Bigot, Céline;
Valot, Yannick;
Gallois, Jean-Pierre;
Gérard, Sébastien;
Terrier, François

Publication type:

Article

Introductory paper.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 5, n. 2/3, p. 105, doi. 10.1007/s10009-003-0138-1

By:

van de Pol, Jaco

Publication type:

Article