Temporal Properties of Clean Programs Proven in Sparkle-T.

Máté Tejfel Zoltán Horváth Tamás Kozsik

Published in: CEFP (2005)

Keyphrases

temporal properties
model checking
possibility theory
formal methods
machine learning
neural network
cooperative
query language
temporal logic
computer programs
data mining
artificial intelligence
natural language
graphical models