Formal Verification of Language-Based Concurrent Noninterference.

Andrei Popescu Johannes Hölzl Tobias Nipkow

Published in: J. Formaliz. Reason. (2013)

Keyphrases

formal verification
model checker
model checking
automated verification
symbolic model checking
language learning
programming language
natural language
bounded model checking
target language
description languages
program slicing
concurrent programs
multi agent systems
automated reasoning