scientific article
From MaRDI portal
Publication:2849848
zbMath1272.68258MaRDI QIDQ2849848
Joe Hurd, Annabelle McIver, Carroll Morgan
Publication date: 20 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104052442
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Latticed \(k\)-induction with an application to probabilistic programs ⋮ Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms ⋮ An approach for lifetime reliability analysis using theorem proving ⋮ Formal verification of tail distribution bounds in the HOL theorem prover ⋮ Formalization of Entropy Measures in HOL
Uses Software
This page was built for publication:
