Login / Signup
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