Login / Signup

Checking properties of safety critical specifications using efficient decision procedures.

David Y. W. ParkJens U. SkakkebækMats Per Erik HeimdahlBarbara J. CzernyDavid L. Dill
Published in: FMSP (1998)
Keyphrases
  • decision procedures
  • safety critical
  • modal logic
  • automated reasoning
  • theorem proving
  • data mining
  • fault tolerant
  • formal specification
  • formal methods
  • decision making
  • low cost
  • agent architecture
  • support systems