Frama-C, A Collaborative Framework for C Code Verification: Tutorial Synopsis.

Nikolai Kosmatov Julien Signoles

Published in: RV (2016)

Keyphrases

data sets
main contribution
theoretical framework
multi user
database
information retrieval
database systems
data model
lightweight
query optimization
conceptual framework