next up previous
Next: Temporal specifications and ground Up: Invariant Serach via Temporal Previous: Introduction

Problem and Procedure


Subsections
Alexei Lisitsa 2003-06-13