Login / Signup
Finite countermodels for safety verification of parameterized tree systems
Alexei Lisitsa
Published in:
CoRR (2011)
Keyphrases
</>
computer systems
distributed systems
complex systems
formal methods
asynchronous circuits
data mining
knowledge based systems
information systems
case study
face recognition
intelligent systems
learning systems
model checking
finite automata
safety critical
automated verification