Consistency and satisfiability of waveform timing specifications

DOI10.1002/NET.3230210107MaRDI QIDQ3199186zbMATH OpenOpenAlexFDO

Authors T. Gahlinger, Farhad Mavaddat, Janusz Brzozowski

Publication date 1991

Published in Networks (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/net.3230210107

zbMATH Keywords

critical device timingdigital waveforms

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Reliability, availability, maintenance, inspection in operations research (90B25) Production models (90B30) Case-oriented studies in operations research (90B90) Applications of mathematical programming (90C90)

Recommendations

• Refinement and Consistency of Timed Modal Specifications
• scientific article; zbMATH DE number 5181788
• Synthesis of timing parameters satisfying safety properties
• Specification and timing analysis of real-time systems
• scientific article; zbMATH DE number 1955911

Cited in

(7)

• Solving linear, min and max constraint systems using CLP based on relational interval arithmetic
• Time consistency of MSC-2000 specifications.
• Min-max inequalities and the timing verification problem with max and linear constraints
• Efficient algorithms for approximate time separation of events
• An algorithm for timing verification of systems constrained by min-max inequalities
• scientific article; zbMATH DE number 7566069 (Why is no real title available?)
• Formal verification of three-valued digital waveforms

This page was built for publication: Consistency and satisfiability of waveform timing specifications

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