What is Formal Verification without Specifications? A Survey on mining LTL Specifications

Daniel Neider, Rajarshi Roy

Virtually all verification techniques using formal methods rely on the availability of a formal specification, which describes the design requirements precisely. However, formulati…