IKOS has been originally designed to perform formal verification of embedded software and is heavily skewed toward numerical abstractions (intervals, octagons, interleaved widening/narrowing fixpoint iterator, etc.),…
IKOS has been originally designed to perform formal verification of embedded software and is heavily skewed toward numerical abstractions (intervals, octagons, interleaved widening/narrowing fixpoint iterator, etc.),…