Computer Aided Verification

DOI10.1007/B11831zbMath1278.68193OpenAlexW1571340194MaRDI QIDQ5900686

Jon Whittle, Ram Prasad Venkatesan, Laurenţiu Leuştean, Grigore Roşu

Publication date: 20 April 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b11831

Mathematics Subject Classification ID

Estimation and detection in stochastic control theory (93E10) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

The rewriting logic semantics project ⋮ The rewriting logic semantics project: a progress report ⋮ Quantitative verification of Kalman filters ⋮ A rewriting logic approach to operational semantics

Uses Software

• SciNapse
• SIMPLIFY
• Maude
• Specware
• AutoFilter

This page was built for publication: Computer Aided Verification