Volume 17; Issue 2

Formal Aspects of Computing

Volume 17; Issue 2

1

Model checking, testing and verification working together

Elsa Gunter, Doron Peled

Journal:

Formal Aspects of Computing

Year:

2005

Language:

english

File:

PDF, 201 KB

english, 2005

2

Not necessarily closed convex polyhedra and the double description method

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella

Journal:

Formal Aspects of Computing

Year:

2005

Language:

english

File:

PDF, 457 KB

english, 2005

3

Using probabilistic model checking for dynamic power management

Gethin Norman, David Parker, Marta Kwiatkowska, Sandeep Shukla, Rajesh Gupta

Journal:

Formal Aspects of Computing

Year:

2005

Language:

english

File:

PDF, 378 KB

english, 2005

4

Refinement is complete for implementations

Journal:

Formal Aspects of Computing

Year:

2005

Language:

english

File:

PDF, 313 KB

english, 2005

5

A refinement-based process algebra for timed automata

Stefano Cattani, Marta Kwiatkowska

Journal:

Formal Aspects of Computing

Year:

2005

Language:

english

File:

PDF, 283 KB

english, 2005

6

On the expressive power of CSP refinement

Journal:

Formal Aspects of Computing

Year:

2005

Language:

english

File:

PDF, 208 KB

english, 2005

7

The formal design of distributed controllers withdSL and Spin

Bram De Wachter, Alexandre Genon, Thierry Massart, Cédric Meuter

Journal:

Formal Aspects of Computing

Year:

2005

Language:

english

File:

PDF, 328 KB

english, 2005

8

Guest Editorial

Michael Leuschel

Journal:

Formal Aspects of Computing

Year:

2005

Language:

english

File:

PDF, 58 KB

english, 2005