scholar.google.com › citations
This work presents a new scalable and extendable hybrid verification approach for the verification of temporal properties in embedded software with hardware ...
Missing: Platform. | Show results with:Platform.
People also ask
What is the difference between scalable and extendable?
We present a scalable reachability algorithm for hybrid systems with piecewise affine, non-deterministic dynamics.
Aug 15, 2024 · PDF | We present a scalable reachability algorithm for hybrid systems with piecewise affine, non-deterministic dynamics.
It describes SpaceEx, a new extensi- ble verification platform for hybrid systems, developed with systematic software engineering [9], implementing many of ...
This work presents a new scalable and extendable hybrid verification approach for the verification of temporal properties in embedded software with hardware ...
We present a scalable reachability algorithm for hybrid systems with piecewise affine, non-deterministic dynamics.
It describes SpaceEx, a new extensi- ble verification platform for hybrid systems, developed with systematic software engineering [9], implementing many of ...
This work presents a new scalable and extendable hybrid verification approach for the verification of temporal properties in embedded software with hardware ...
Feb 21, 2018 · Hybrid systems describe the change of a set of continuously evolving, real-valued variables combined with discrete states.
This work presents a scalable hybrid verification approach for the verification of embedded software using a semiformal algorithm optimized with static ...