Efficient Verification of Program Fragments: Eager POR.

Patrick Metzler Habib Saissi Péter Bokor Robin Hesse Neeraj Suri

Published in: ATVA (2016)

Keyphrases

databases
information retrieval
e learning
program execution
symbolic execution
decision making
image processing
case study
multiscale
artificial neural networks
evolutionary algorithm
mobile robot
cost effective
computationally expensive
static analysis
formal methods