research
∙
06/07/2022
SMT-Based Model Checking of Industrial Simulink Models
The development of embedded systems requires formal analysis of models s...
share
research
∙
12/10/2021
Compositional Test Generation of Industrial Synchronous Systems
Synchronous systems provide a basic model of embedded systems and indust...
research
∙
12/06/2021
Approximate Translation from Floating-Point to Real-Interval Arithmetic
Floating-point arithmetic (FPA) is a mechanical representation of real a...
research
∙
06/24/2020
Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking
One of the effective model checking methods is to utilize the efficient ...
research
∙
03/24/2020
Computer-Assisted Verification of Four Interval Arithmetic Operators
Interval arithmetic libraries provide the four elementary arithmetic ope...
research
∙
10/27/2019
Declarative Semantics of the Hybrid Constraint Language HydLa
Hybrid systems are dynamical systems with continuous evolution of states...
research
∙
12/02/2017
HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis
We present HySIA: a reliable runtime verification tool for nonlinear hyb...
research
∙
05/18/2015
Scalable Parallel Numerical Constraint Solver Using Global Load Balancing
We present a scalable parallel solver for numerical constraint satisfact...
research
∙
11/06/2014