scientific article; zbMATH DE number 2086974

MaRDI QIDQ4737589zbMATHFDO

Authors Supratik Mukhopadhyay, Andreas Podelski

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2371/23710152.htm

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2086510
• scientific article; zbMATH DE number 1500653
• Symbolic model checking in non-Boolean domains
• The algorithmic analysis of hybrid systems
• Constraint-based abstract semantics for temporal logic: a direct approach to design and implementation

Cited in

(10)

• scientific article; zbMATH DE number 1693485 (Why is no real title available?)
• Concrete abstractions. Formalizing and analyzing discrete theories and algorithms with the RISCAL model checker
• scientific article; zbMATH DE number 2086510 (Why is no real title available?)
• Algorithmic algebraic model checking. III: Approximate methods
• A proof theory for model checking
• Computer Aided Verification
• AlPiNA: A Symbolic Model Checker
• scientific article; zbMATH DE number 5181785 (Why is no real title available?)
• A symbolic semantics for abstract model checking
• A generalized semantics of PROMELA for abstract model checking

Describes a project that uses

Uses Software

• Kronos
• HyTech
• Uppaal

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 Q4737589)