The Verisoft Approach to Systems Verification.

Eyad Alkassar Mark A. Hillebrand Dirk Leinenbach Norbert Schirmer Artem Starostin

Published in: VSTTE (2008)

Keyphrases

computer vision
model checking
asynchronous circuits
databases
temporal logic
retrieval systems
complex systems
management system
user interface
systems require
computer systems
database
mobile devices
digital libraries
case study
machine learning
data sets