Formal Specification Level: Towards verification-driven design based on natural language processing.

Rolf Drechsler, Mathias Soeken, Robert Wille

Browse the full FDL paper archive.