Formal Methods in Computer-Aided Design
From MaRDI portal
Publication:5492964
DOI10.1007/b102264zbMath1117.68303OpenAlexW4229585471MaRDI QIDQ5492964
Alexandre Donzé, Oded Maler, Thao Dang
Publication date: 20 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b102264
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
Trajectory-Based Theory for Hybrid Systems ⋮ Hybridization methods for the analysis of nonlinear systems ⋮ Multi-Requirement Testing Using Focused Falsification ⋮ Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver ⋮ Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software)
Uses Software
This page was built for publication: Formal Methods in Computer-Aided Design
