Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks.

Jonathan Kochems C.-H. Luke Ong

Published in: CONCUR (2013)

Keyphrases

asynchronous circuits
model checking
safety analysis
information systems
learning systems
intelligent systems
management system
search algorithm
computer systems
retrieval systems
multi agent
face verification
safety critical
face recognition
multimodal biometrics
data mining
high assurance