Login / Signup
Context Generation from Formal Specifications for C Analysis Tools.
Michele Alberti
Julien Signoles
Published in:
LOPSTR (2017)
Keyphrases
</>
formal specification
contextual information
model checking
data analysis
knowledge based systems
analysis tool
object oriented design