Refinement-Based Verification of Communicating Unstructured Code.

Nils Jähnig Thomas Göthel Sabine Glesner

Published in: SEFM (2016)

Keyphrases

semi structured
source code
structured data
byte code
model checking
artificial intelligence
unstructured data
database
databases
open source
data flow
face verification
static analysis
signature verification
java card