Login / Signup

Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information.

Nurlida BasirEwen DenneyBernd Fischer
Published in: SAFECOMP (2008)
Keyphrases
  • automatically generated
  • keywords
  • domain knowledge
  • automatically generate
  • information sharing
  • information extraction
  • automatically created