Works matching IS 14332779 AND DT 2012 AND VI 14 AND IP 2

Results: 7

Abstract regular (tree) model checking.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 2, p. 167, doi. 10.1007/s10009-011-0205-y

By:

Bouajjani, Ahmed;
Habermehl, Peter;
Rogalewicz, Adam;
Vojnar, Tomáš

Publication type:

Article

Domain-specific regular acceleration.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 2, p. 193, doi. 10.1007/s10009-011-0206-x

By:

Boigelot, Bernard

Publication type:

Article

Regular model checking for LTL(MSO).

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 2, p. 223, doi. 10.1007/s10009-011-0212-z

By:

Abdulla, Parosh;
Jonsson, Bengt;
Nilsson, Marcus;
d'Orso, Julien;
Saksena, Mayank

Publication type:

Article

A lightweight regular model checking approach for parameterized systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 2, p. 207, doi. 10.1007/s10009-011-0213-y

By:

Delzanno, Giorgio;
Rezine, Ahmed

Publication type:

Article

Extrapolating (omega-)regular model checking.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 2, p. 119, doi. 10.1007/s10009-011-0209-7

By:

Legay, Axel

Publication type:

Article

Widening techniques for regular tree model checking.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 2, p. 145, doi. 10.1007/s10009-011-0208-8

By:

Bouajjani, Ahmed;
Touili, Tayssir

Publication type:

Article

Regular model checking.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 2, p. 109, doi. 10.1007/s10009-011-0216-8

By:

Abdulla, Parosh

Publication type:

Article