Compositional Verification of Multi-station Interlocking Systems.

Hugo Daniel Macedo Alessandro Fantechi Anne E. Haxthausen

Published in: ISoLA (2) (2016)

Keyphrases

distributed systems
management system
systems require
intelligent systems
real time
formal methods
computer systems
automated verification
asynchronous circuits
security systems
computing systems
embedded systems
model checking
computational intelligence
search algorithm
multiscale
information systems