LTL Model Checking of LLVM Bitcode with Symbolic Data.

Published in MEMICS 2014

Topics

model checking symbolic data temporal logic bounded model checking numerical data interval data linear temporal logic complex data formal verification finite state formal specification data sets temporal properties linear time temporal logic transition systems model checker formal methods principal component analysis automated verification computation tree logic symbolic model checking timed automata verification method categorical data feature space epistemic logic concurrent systems modal logic image processing