Verifying Reactive Systems Using Predicate Diagrams

Dominique Cansell, Dominique Méry, Stephan Merz
Available as:  gzip'ed Postscript
Reference
@InProceedings{cansell:verifying,
  author =    {Dominique Cansell and Dominique M{\'e}ry
               and Stephan Merz},
  title =     {Verifying Reactive Systems Using Predicate Diagrams},
  booktitle = {FM-TOOLS 2000: 4th Workshop on Tools for System
               Design and Verification},
  year =      2000,
  volume =    1945,
  series =    {Ulmer Informatik-Berichte 2000-07},
  address =   {Reisensburg, Germany},
  publisher = {Universit{\"a}t Ulm}
}

Stephan Merz