Concurrency theory: timed automata, testing, program synthesis.

Davide Sangiorgi

Published in: Distributed Comput. (2012)

Keyphrases

program synthesis
timed automata
model checking
theorem prover
databases
recursive programs
database
concurrency control
reachability analysis
database systems
inductive logic programming
theorem proving
learning algorithm
active learning