HySAT

swMATH1980MaRDI QIDQ14528FDOQ14528

Author name not available (Why is that?)

Described by source

• HySAT: An efficient proof engine for bounded model checking of hybrid systems

Cited In (25)

• SMT-based scenario verification for hybrid systems
• Challenges in Constraint-Based Analysis of Hybrid Systems
• Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic
• Title not available (Why is that?)
• Quantitative Model Checking for a Controller Design
• Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems
• Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
• Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
• Automating Verification of Cooperation, Control, and Design in Traffic Applications
• On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint
• SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
• A compositional modelling and analysis framework for stochastic hybrid systems
• Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
• Generating invariants for non-linear hybrid systems
• MetiTarski: An automatic theorem prover for real-valued special functions
• Computing branching distances with quantitative games
• Quantifier-free encoding of invariants for hybrid systems
• SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata
• Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
• Rigorous Discretization of Hybrid Systems Using Process Calculi
• Time-triggered conversion of guards for reachability analysis of hybrid automata
• Exact Incremental Analysis of Timed Automata with an SMT-Solver
• Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
• Verifying global start-up for a Möbius ring-oscillator
• Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space

This page was built for software: HySAT