Automatically Verifying Temporal Properties of Pointer Programs with Cyclic Proof.

Gadi Tellez James Brotherston

Published in: CADE (2017)

Keyphrases

temporal properties
model checking
formal methods
provably correct
temporal logic
possibility theory
neural network
genetic algorithm
probabilistic model
building blocks
imperative programs
data mining
artificial intelligence
decision making
data structure
formal specification