On the Use of Static Checking in the Verification of Interlocking Systems.

Anne E. Haxthausen Peter H. Østergaard

Published in: ISoLA (2) (2016)

Keyphrases

intelligent systems
asynchronous circuits
data sets
dynamic constraints
computing systems
machine learning
databases
multimedia
image sequences
information technology
management system
software engineering
artificial intelligence
model checking
systems require
verification method
database