A mechanical verifier for supporting the design of reliable reactive systems.

Tie-Cheng Wang Allen Goldberg

Published in: ISSRE (1991)

Keyphrases

reactive systems
design process
mechanical design
databases
formal methods
database systems
user interface
building blocks
cost effective
temporal logic