Verification of Flat FIFO Systems.

Alain Finkel M. Praveen

Published in: CoRR (2019)

Keyphrases

data sets
neural network
artificial intelligence
complex systems
model checking
databases
machine learning
knowledge base
response time
intelligent systems
computing systems
formal methods
security systems
asynchronous circuits