Breach
From MaRDI portal
Cited in
(71)- Verisig
- Texada
- Kaa
- Quantitative monitoring of STL with edit distance
- Ariadne
- TeLEx: learning signal temporal logic from positive examples using tightness metric
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Adaptive testing for specification coverage and refinement in CPS models
- Parameter synthesis of polynomial dynamical systems
- Survey on mining signal temporal logic specifications
- An STL-based formulation of resilience in cyber-physical systems
- scyther
- S-TaLiRo
- Extracting counterexamples induced by safety violation in linear hybrid systems
- TaLiRo
- d/dt
- HARE
- SpaceEx
- RoVerGeNe
- Compositional falsification of cyber-physical systems with machine learning components
- System design of stochastic models using robustness of temporal properties
- Combining refinement and signal-temporal logic for biological systems
- HybridSal
- Bounded invariant verification for time-delayed nonlinear networked dynamical systems
- Robust online monitoring of signal temporal logic
- Formal analysis and offline monitoring of electronic exams
- Precise parameter synthesis for stochastic biochemical systems
- SABRE
- Deadness and how to disprove liveness in hybrid dynamical systems
- Pyhybridanalysis
- Reachability of weakly nonlinear systems using Carleman linearization
- RiTHM
- S-TaLiRo: a tool for temporal logic falsification for hybrid systems
- C2e2
- LySHA
- Flow*
- dReach
- GRKLib
- Hybrid Trace Verifier
- Akiss
- HyLAA
- Using symmetry transformations in equivariant dynamical systems for their safety verification
- POMDPs.jl
- HLIO
- Stochastic local search for falsification of hybrid systems
- Sapo
- contractLarva
- ParetoImageSDP
- TIRA
- ParetoLib
- Localizing Faults in Simulink/Stateflow Models with STL
- aaflib
- PyInterval
- self-driving-car-sim
- BluSTL
- A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems
- Conformance relations and hyperproperties for doping detection in time and space
- Multi-agent safety verification using symmetry transformations
- Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems
- Interface-aware signal temporal logic
- Sapo: reachability computation and parameter synthesis of polynomial dynamical systems
- Model checking of biological systems
- AMT
- AdaptiveStressTesting.jl
- sitar
- ERAN
- Quantifying conformance using the Skorokhod metric
- ST-Lib
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
- Verisig 2.0: verification of neural network controllers using Taylor model preconditioning
- Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness
This page was built for software: Breach
