A Logic for Correlating Temporal Properties across Program Transformations

Aditya Kanade Amitabha Sanyal Uday P. Khedker

Published in: CoRR (2012)

Keyphrases

temporal properties
model checking
possibility theory
formal methods
logic programming
functional programs
dynamic environments
temporal logic
probability theory
neural network
pattern recognition
probability distribution
general purpose