Methodology for Specification and Verification of High-Level Requirements with MetAcsl.
Virgile RoblesNikolai KosmatovVirgile PrevostoLouis RillingPascale Le GallPublished in: FormaliSE@ICSE (2021)
Keyphrases
- high level
- low level
- formal verification
- conceptual model
- asynchronous circuits
- software requirements
- model checking
- formal methods
- programming language
- design methodology
- higher level
- low level features
- user requirements
- face verification
- requirements engineering
- functional requirements
- object oriented
- neural network