Verification of Liveness and Safety Properties of Behavioral Programs Using BPjs.

Michael Bar-Sinai Gera Weiss

Published in: ISoLA (4) (2020)

Keyphrases

imperative programs
real world
database
databases
computer vision
data structure
evolutionary algorithm
model checking
face verification
formal methods
symbolic execution