On the Verification of Belief Programs.

Daxin Liu Gerhard Lakemeyer

Published in: CoRR (2022)

Keyphrases

symbolic execution
model checking
signature verification
program execution
hardware designs
belief revision
formal verification
control structures
subjective logic
databases
genetic algorithm
object oriented
fixpoint
test generation
verification method
java bytecode