Constraints for Continuous Reachability in the Verification of Hybrid Systems
From MaRDI portal
Publication:5302913
DOI10.1007/11856290_18zbMath1156.68476MaRDI QIDQ5302913
Publication date: 15 January 2009
Published in: Artificial Intelligence and Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11856290_18
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Language-Based Abstraction Refinement for Hybrid System Verification, Tightened reachability constraints for the verification of linear hybrid systems
Uses Software