Proof obligations for specification and refinement of liveness properties under weak fairness

Héctor Ruíz Barradas Didier Bert

Published in: CoRR (2005)

Keyphrases

formal specification
topological properties
neural network
information systems
provably correct
database
artificial intelligence
game theory
refinement process
step wise