Anfonwch hwn fel neges destun: What is formal verification without specifications? A survey on mining LTL specifications