Automatic Property Checking for Software: Past, Present and Future.

Sriram K. Rajamani

Published in: ASE (2006)

Keyphrases

real time
software systems
long term
software development
machine learning
software design
software maintenance
software tools
hardware design
current status
data processing
analysis tool
computer software
fully automatic
semi automatic
computer systems
control system
user interface
real world