scientific article; zbMATH DE number 2086974

zbMATH Open1077.68699MaRDI QIDQ4737589FDOQ4737589

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (10)

• A symbolic semantics for abstract model checking
• A generalized semantics of PROMELA for abstract model checking
• Computer Aided Verification
• Concrete abstractions. Formalizing and analyzing discrete theories and algorithms with the RISCAL model checker
• Algorithmic algebraic model checking. III: Approximate methods
• AlPiNA: A Symbolic Model Checker
• Title not available (Why is that?)
• Title not available (Why is that?)
• A proof theory for model checking
• Title not available (Why is that?)

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)