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

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