Automated Technology for Verification and Analysis
From MaRDI portal
Publication:5491865
DOI10.1007/11562948zbMath1170.68523OpenAlexW4300912265MaRDI QIDQ5491865
No author found.
Publication date: 10 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11562948
Biochemistry, molecular biology (92C40) Specification and verification (program logics, model checking, etc.) (68Q60) General biology and biomathematics (92B05)
Related Items (8)
Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology ⋮ A program logic to verify signal temporal logic specifications of hybrid systems ⋮ Formal verification and quantitative metrics of MPSoC data dynamics ⋮ Taylor approximation for hybrid systems ⋮ Hybrid Automata in Systems Biology: How Far Can We Go? ⋮ Hybrid automata, reachability, and systems biology ⋮ Differential dynamic logic for hybrid systems ⋮ Generating invariants for non-linear hybrid systems
Uses Software
This page was built for publication: Automated Technology for Verification and Analysis
