Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems.

Héctor Ruíz Barradas Didier Bert

Published in: IFM (2002)

Keyphrases

distributed systems
database
theorem proving
neural network
information systems
expert systems
management system
building blocks
desirable properties
formal methods
simplifying assumptions