Context Generation from Formal Specifications for C Analysis Tools.

Michele Alberti Julien Signoles

Published in: CoRR (2017)

Keyphrases

formal specification
database systems
user defined
software components
analysis tool
specification languages