scientific article; zbMATH DE number 1759602

MaRDI QIDQ4536593zbMATH OpenFDO

Authors Rajeev Alur

Publication date 28 November 2002

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1903363
• scientific article; zbMATH DE number 910719
• Model Checking – My 27-Year Quest to Overcome the State Explosion Problem
• scientific article; zbMATH DE number 2080188
• Exploiting design structure in model checking. (Abstract)

Cited in

(6)

• Nested-unit Petri nets
• Scaling up model-checking. A case-study
• scientific article; zbMATH DE number 1949623 (Why is no real title available?)
• scientific article; zbMATH DE number 2087622 (Why is no real title available?)
• scientific article; zbMATH DE number 1852146 (Why is no real title available?)
• scientific article; zbMATH DE number 1903363 (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 Q4536593)