scientific article; zbMATH DE number 1692938

MaRDI QIDQ2763671zbMATH OpenFDO

Authors Francesco Ranzato

Publication date 21 January 2002

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Incompleteness of states w.r.t. traces in model checking
• scientific article; zbMATH DE number 1948413
• Temporal abstract interpretation
• scientific article; zbMATH DE number 1948410
• On model checking for the \(\mu\)-calculus and its fragments

Cited in

(6)

• scientific article; zbMATH DE number 1948413 (Why is no real title available?)
• Competent predicate abstraction in model checking
• Temporal abstract interpretation
• Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection
• Incompleteness of states w.r.t. traces in model checking
• scientific article; zbMATH DE number 1765670 (Why is no real title available?)

This page was built for publication:

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