Login / Signup
Automatic Verification of RMA Programs via Abstraction Extrapolation.
Cedric Baumann
Andrei Marian Dan
Yuri Meshman
Torsten Hoefler
Martin T. Vechev
Published in:
VMCAI (2018)
Keyphrases
</>
risk management
real time
hardware designs
high level
computer programs
control structures
decision theoretic planning
databases
genetic algorithm
optimal solution
case based reasoning
java programs
provably correct