ZB 2003: Formal Specification and Development in Z and B: ...
Preview
Carroll Morgan and Annabelle McIver. An expectation-based model for probabilistic temporal logic. Logic Journal of the IGPL, 7(6):779–804, 1999. Also available at [22, MM97]. Carroll Morgan and Annabelle McIver. pGCL: Formal reasoning ...