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

John Nagle Scott 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