Sign in

Practical Program Verification: Automatic Program Proving for Real-Time Embedded Software.

John NagleScott Johnson
Published in: POPL (1983)
Keyphrases
  • embedded software
  • real time
  • embedded systems
  • software architecture
  • development projects
  • real world
  • low cost
  • data mining
  • sequence diagrams
  • relational databases