Cargando…
Semi-formal Reformulation of Requirements for Formal Property Verification
Ambiguously specified requirements can be a source of risk for safety-critical electronic designs. Requirement specifications in natural language are subject to misinterpretation. A method is proposed that reduces the risk of misinterpretations. Requirements are reformulated into semi-formal prope...
| Autores principales: | , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2020
|
| Acceso en línea: | http://cds.cern.ch/record/2712787 |