Incremental bounded model checking for embedded software

Program analysis is on the brink of mainstream usage in embedded systems development. Formal verification of behavioural requirements, finding runtime errors and test case generation are some of the most common applications of automated verification tools based on bounded model checking (BMC). Exist...

תיאור מלא

מידע ביבליוגרפי
Main Authors: Schrammel, P, Kroening, D, Brain, M, Martins, R, Teige, T, Bienmüller, T
פורמט: Journal article
יצא לאור: Springer Verlag 2017