Automatic proof of freedom from interference with IFFree.

Christèle Faure Véronique Delebarre

Published in: ECSA Workshops (2016)

Keyphrases

semi automatic
data driven
fully automatic
information retrieval
website
theorem prover
data sets
artificial intelligence
decision making
multimedia
labor intensive
natural deduction