Login / Signup

Automatic Program Verification I: A Logical Basis and its Implementation.

Shigeru IgarashiRalph L. LondonDavid C. Luckham
Published in: Acta Informatica (1974)
Keyphrases
  • fully automatic
  • data driven
  • semi automatic
  • starting point
  • real time
  • databases
  • artificial intelligence
  • decision making
  • hidden markov models
  • general purpose
  • efficient implementation
  • logical framework