On the verification of SCOOP programs.

Georgiana Caltais Bertrand Meyer

Published in: Sci. Comput. Program. (2017)

Keyphrases

symbolic execution
hardware designs
artificial intelligence
automatic programming
model checking
databases
data structure
computer programs
face verification
programming environment
formal verification
evolutionary algorithm
control program
provably correct
verification method
concurrent systems