Search alternatives:
swash » slash, swath, smash
sat » salt, satz
Cover Image
Read Now

1
Published 2015
Springer International Publishing
“... model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis; runtime...”
Cover Image
Read Now

2
Published 2011
Springer Berlin Heidelberg
“... and stochastic systems, SAT and SMT solvers, symbolic execution, abstraction and abstraction refinement...”