Login / Signup
A generalized program verification workflow based on loop elimination and SA form.
Cláudio Belo Lourenço
Maria João Frade
Jorge Sousa Pinto
Published in:
FormaliSE@ICSE (2019)
Keyphrases
</>
computer vision
databases
real time
data sets
decision trees
optimal solution
simulated annealing
scientific workflows
workflow management
virtual enterprise
genetic algorithm ga
business process
business processes
particle swarm optimization
rough sets
multiscale
information retrieval
data mining