Lightweight Interactive Proving inside an Automatic Program Verifier.

Sylvain Dailler Claude Marché Yannick Moy

Published in: F-IDE@FLoC (2018)

Keyphrases

lightweight
development environments
wireless sensor networks
data driven
semi automatic
search based software testing
virtual reality
fully automatic
user friendly
static analysis
web applications
user interaction
computer graphics
rfid tags
dos attacks
communication infrastructure