scientific article; zbMATH DE number 2102707

zbMATH Open1046.68592MaRDI QIDQ4817545FDOQ4817545

Authors: Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani 

Publication date: 24 September 2004

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

Recommendations

• Verifying abstractions of timed systems
• Timewise refinement for communicating processes
• Timewise refinement for communicating processes
• A theory of implementation and refinement in timed Petri nets
• Refinement checking based on simulation relations

Mathematics Subject Classification ID

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

Cited In (4)

• A temporal logic for micro- and macro-step-based real-time systems: foundations and applications
• Title not available (Why is that?)
• Deriving Real-Time Action Systems Controllers from Multiscale System Specifications
• Skipping refinement

Uses Software

• MOCHA

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