Safety Verification of Communicating One-Counter Machines.
Alexander HeußnerTristan Le GallGrégoire SutrePublished in: FSTTCS (2012)
Keyphrases
- model checking
- safety analysis
- face verification
- artificial intelligence
- databases
- concurrent systems
- signature verification
- functional verification
- real time
- coal mining
- fault model
- verification method
- formal verification
- machine intelligence
- communication channels
- face detection
- scheduling problem
- artificial neural networks
- multi agent
- machine learning
- real world
- neural network
- data sets