MPG.eBooks - Search Results - ((slabs OR slab) OR (((salth OR mathe) OR sat) OR (spate OR spitaler)))-plate

1

Published 2015

Springer International Publishing

“... model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis; runtime...”

2

Published 2011

Springer Berlin Heidelberg

“... and stochastic systems, SAT and SMT solvers, symbolic execution, abstraction and abstraction refinement...”

3

Published 2022

Springer International Publishing

Table of Contents: “..., Autonomous Fault Recovery on the CySat-I....”

4

Published 2014

Springer Berlin Heidelberg

Table of Contents: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”