Path predicate abstraction by complete interval property checking.

Joakim Urdahl Dominik Stoffel Jörg Bormann Markus Wedler Wolfgang Kunz

Published in: FMCAD (2010)

Keyphrases

first order logic
data sets
shortest path
real world
website
high level