The following pages link to PHAVer (Q16309):
Displaying 14 items.
- Interoperability of Performance and Functional Analysis for Electronic System Designs in Behavioural Hybrid Process Calculus (BHPC) (Q5302400) (← links)
- Constraints for Continuous Reachability in the Verification of Hybrid Systems (Q5302913) (← links)
- Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp> (Q5408048) (← links)
- An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits Along Cyclic Attractors (Q5429359) (← links)
- Differential Dynamic Logic for Verifying Parametric Hybrid Systems (Q5434491) (← links)
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra (Q5458327) (← links)
- Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata (Q5500563) (← links)
- Hybrid Systems: Computation and Control (Q5703953) (← links)
- Automated Machine-Checked Hybrid System Safety Proofs (Q5747654) (← links)
- Model reduction of switched affine systems (Q5890723) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897960) (← links)
- Languages and Tools for Hybrid Systems Design (Q5898656) (← links)
- Hybrid Systems: Computation and Control (Q5898984) (← links)
- Hybrid Systems: Computation and Control (Q5899002) (← links)