Semantics-driven extraction of timed automata from Java programs.

Giovanni Liva Muhammad Taimoor Khan Martin Pinzger

Published in: Empir. Softw. Eng. (2019)

Keyphrases

java programs
timed automata
model checking
multi threaded
reachability analysis
theorem prover
software components
java language
parallel processing
first order logic
theorem proving
test suite
multi agent
knowledge base
low cost
relational databases
expert systems