Volume 24; Issue 2

Formal Methods in System Design

Volume 24; Issue 2
1

Checking Finite Traces Using Alternating Automata

Bernd Finkbeiner, Henny Sipma
Journal:
Formal Methods in System Design
Year:
2004
Language:
english
File:
PDF, 196 KB
english, 2004
4

An Overview of the Runtime Verification Tool Java PathExplorer

Klaus Havelund, Grigore Roşu
Journal:
Formal Methods in System Design
Year:
2004
Language:
english
File:
PDF, 181 KB
english, 2004
5

Foreword

Klaus Havelund, Grigore Roşu
Journal:
Formal Methods in System Design
Year:
2004
Language:
english
File:
PDF, 21 KB
english, 2004