Using mission logic for embedded testing.

Rainer Dorsch Hans-Joachim Wunderlich

Published in: DATE (2001)

Keyphrases

embedded systems
logic programming
information retrieval
real time
databases
test cases
multi valued
classical logic
nonmonotonic logics
social networks
website
modal logic
software testing
defeasible logic
set theory
predicate logic