Volume 25; Issue 1

Formal Methods in System Design

Volume 25; Issue 1

1

Connectivity Testing

Jens Chr. Godskesen

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 419 KB

english, 2004

2

Using Forward Reachability Analysis for Verification of Lossy Channel Systems

Parosh Aziz Abdulla, Aurore Collomb-Annichini, Ahmed Bouajjani, Bengt Jonsson

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 236 KB

english, 2004

3

Static Analysis for State-Space Reductions Preserving Temporal Logics

Karen Yorav, Orna Grumberg

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 329 KB

english, 2004