OnTrack: The Railway Verification Toolset - Extended Abstract.

Phillip James Faron Moller Hoang Nga Nguyen Markus Roggenbach Helen Treharne Xu Wang

Published in: ISoLA (2) (2016)

Keyphrases

extended abstract
model checking
signature verification
databases
data mining
information retrieval
decision making
website
multiscale
digital images
development process
formal verification
high security
functional verification