What is formal verification without specifications? A survey on mining LTL specifications
Virtually all verification techniques using formal methods rely on the availability of a formal specification, which describes the design requirements precisely. However, formulating specifications remains a manual task that is notoriously challenging and error-prone. To address this bottleneck in f...
| Հիմնական հեղինակներ: | , |
|---|---|
| Ձևաչափ: | Book section |
| Լեզու: | English |
| Հրապարակվել է: |
Springer
2024
|