Lawrence M. Dill

Suggest Changes
Learn More
  • Statesand, BeyondJ, +5 authors HwangStanford
  • 1990
Many diierent methods have been devised for automatically verifying nite state systems by examining state-graph models of system behavior. These methods all depend on decision procedures that(More)