Formal Software Verification at Model and at Source Code Levels.

Anthony Fernandes Pires Thomas Polacsek Stéphane Duprat

Published in: MEDI (2012)

Keyphrases

source code
high level
open source
software maintenance
software systems
static analysis
program understanding