A Verification Approach for System-Level Concurrent Programs.

Matthias Daum Jan Dörrenbächer Mareike Schmidt Burkhart Wolff

Published in: VSTTE (2008)

Keyphrases

concurrent programs
model checking
artificial intelligence
real time
knowledge base
case study
relational databases
programming language