Works matching IS 14332779 AND DT 2005 AND VI 7 AND IP 2

Results: 9

A BMC-based formulation for the scheduling problem of hardware systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 2, p. 102, doi. 10.1007/s10009-004-0170-9

By:

Cabodi, Gianpiero;
Kondratyev, Alex;
Lavagno, Luciano;
Nocco, Sergio;
Quer, Stefano;
Watanabe, Yosinori

Publication type:

Article

Are BDDs still alive within sequential verification?

Published in:

International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 2, p. 129, doi. 10.1007/s10009-004-0172-7

By:

Cabodi, Gianpiero;
Nocco, Sergio;
Quer, Stefano

Publication type:

Article

BMC via on-the-fly determinization.

Published in:

International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 2, p. 89, doi. 10.1007/s10009-004-0178-1

By:

Jussila, Toni;
Heljanko, Keijo;
Niemelä, Ilkka

Publication type:

Article

A survey of recent advances in SAT-based formal verification.

Published in:

International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 2, p. 156, doi. 10.1007/s10009-004-0183-4

By:

Prasad, Mukul R.;
Biere, Armin;
Gupta, Aarti

Publication type:

Article

Symbolic computational techniques for solving games.

Published in:

International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 2, p. 118, doi. 10.1007/s10009-004-0179-0

By:

Alur, Rajeev;
Madhusudan, P.;
Nam, Wonhong

Publication type:

Article

Functional programming languages for verification tools: a comparison of StandardMLandHaskell.

Published in:

International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 2, p. 184, doi. 10.1007/s10009-004-0184-3

By:

Leucker, Martin;
Noll, Thomas;
Stevens, Perdita;
Weber, Michael

Publication type:

Article

Computational challenges in bounded model checking.

Published in:

International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 2, p. 174, doi. 10.1007/s10009-004-0182-5

By:

Clarke, Edmund;
Kroening, Daniel;
Ouaknine, Joël;
Strichman, Ofer

Publication type:

Article

Introductory paper.

Published in:

International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 2, p. 87, doi. 10.1007/s10009-004-0186-1

By:

Biere, Armin;
Strichman, Ofer

Publication type:

Article

Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure.

Published in:

International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 2, p. 143, doi. 10.1007/s10009-004-0169-2

By:

Li, Bing;
Wang, Chao;
Somenzi, Fabio

Publication type:

Article