Incremental Inductive Verification of Parameterized Timed Systems.

Tobias Isenberg

Published in: ACSD (2015)

Keyphrases

artificial intelligence
expert systems
knowledge representation
neural network
intelligent systems
knowledge based systems
asynchronous circuits
databases
machine learning
search engine
inductive logic programming
theorem prover
formal methods
verification method
colored petri nets