PHAVer
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
- Formal Verification Applied to Robotic Surgery
- Non-convex invariants and urgency conditions on linear hybrid automata
- Reachability games for linear hybrid systems
- Efficient bounded reachability computation for rectangular automata
- Modelling and analysing neural networks using a hybrid process algebra
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction
- Hybrid automata as a modelling approach in the behavioural sciences
- Reachability analysis of linear systems with stepwise constant inputs
- Languages and Tools for Hybrid Systems Design
- Towards an efficient path-oriented tool for bounded reachability analysis of linear hybrid systems using linear programming
- Rigorous simulation-based analysis of linear hybrid systems
- Towards Component Based Design of Hybrid Systems: Safety and Stability
- Approximate simulation relations for hybrid systems
- Constraints for Continuous Reachability in the Verification of Hybrid Systems
- Trajectory-based theory for hybrid systems
- Formal Modeling and Analysis of Timed Systems
- Fairness of transitions in diagnosability of discrete event systems
- Differential dynamic logic for hybrid systems
- Efficient constraint/generator removal from double description of polyhedra
- SPHIN: a model checker for reconfigurable hybrid systems based on SPIN
- Hybrid Systems: Computation and Control
- Automating Verification of Cooperation, Control, and Design in Traffic Applications
- The structure of differential invariants and differential cut elimination
- d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata
- Lyapunov abstractions for inevitability of hybrid systems
- Model-based engineering of embedded systems using the hybrid process algebra Chi
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
- Hybrid Systems: Computation and Control
- On the efficiency of convex polyhedra
- Trajectory Based Verification Using Local Finite-Time Invariance
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
- MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Applications of polyhedral computations to the analysis and verification of hardware and software systems
- Using redundant constraints for refinement
- PPLite: zero-overhead encoding of NNC polyhedra
- Hybridization methods for the analysis of nonlinear systems
- A compositional modelling and analysis framework for stochastic hybrid systems
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
- Foundations of a Compositional Interchange Format for Hybrid Systems
- Proving the Correctness of the Implementation of a Control-Command Algorithm
- Optimal semicomputable approximations to reachable and invariant sets
- Model reduction of switched affine systems
- Assume-guarantee verification of nonlinear hybrid systems with ARIADNE
- Computing differential invariants of hybrid systems as fixed points
- On Timed Models of Gene Networks
- Monitoring of dynamic processes by rectangular hybrid automata
- Don't care words with an application to the automata-based approach for real addition
- Formal system verification. State-of the-art and future trends
- On checking equivalence of simulation scripts
- Almost ASAP semantics: from timed models to timed implementations
- Hybrid automata-based CEGAR for rectangular hybrid systems
- Apron
- IMITATOR
- QEPCAD
- MoDeST
- HySAT
- MARCO
- KeYmaera
- HyTech
- SMV
- RSOLVER
- Benchmarks
- ARMC
- Aspic
- Uppaal
- HYSDEL
- PPL
- MATISSE
- ToolboxLS
- Ariadne
- mctau
- HSolver
- RunLim
- MathSAT
- AutoMOTGen
- HI-maude
- ATL
- PolyLib
- d/dt
- LinAIG
- Ellipsoidal Toolbox
- HARE
- pyHybrid Analysis
- RAMAS
- SpaceEx
- BACH
- HSPICE
- HyDI
- IBEX
- PAGAI
- UPPAAL TIGA
- Rapture
- Charon
- R-Charon
- C2e2
- dReach
- Flow*
- HyCreate
This page was built for software: PHAVer
