Sign in

Context Generation from Formal Specifications for C Analysis Tools.

Michele AlbertiJulien Signoles
Published in: LOPSTR (2017)
Keyphrases
  • formal specification
  • contextual information
  • model checking
  • data analysis
  • knowledge based systems
  • analysis tool
  • object oriented design