Explicit-symbolic modelling for formal verification

MaRDI QIDQ2848454zbMATH OpenFDO

Authors Umberto Costa, Sérgio Campos, Newton Vieira, David Déharbe

Publication date 26 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105002276

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Symbolic model checking: \(10^{20}\) states and beyond
• Symbolic model checking of software
• scientific article; zbMATH DE number 1507203
• scientific article; zbMATH DE number 1759597
• Programming a symbolic model checker in a fully expansive theorem prover

Cited in

(3)

• scientific article; zbMATH DE number 1701750 (Why is no real title available?)
• scientific article; zbMATH DE number 5917352 (Why is no real title available?)
• scientific article; zbMATH DE number 1759597 (Why is no real title available?)

This page was built for publication: Explicit-symbolic modelling for formal verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848454)