scientific article; zbMATH DE number 1832220

zbMath0997.68515MaRDI QIDQ4778698

David Monniaux

Publication date: 19 November 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2126/21260111

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

Termination of floating-point computations ⋮ Time-bounded termination analysis for probabilistic programs with delays ⋮ Automated termination analysis of polynomial probabilistic programs ⋮ Fair Termination for Parameterized Probabilistic Concurrent Systems ⋮ Weakest Precondition Reasoning for Expected Run–Times of Probabilistic Programs ⋮ Moment-based analysis of Bayesian network properties

This page was built for publication: