Formal Verification of Ecosystem Restoration Requirements using UML and Alloy.
Tiago SousaBenoît RiesNicolas GuelfiPublished in: CoRR (2024)
Keyphrases
- formal verification
- model checking
- uml models
- formal methods
- class diagram
- automated verification
- bounded model checking
- model checker
- symbolic model checking
- temporal logic
- program slicing
- software engineering
- database design
- detailed design
- requirements specification
- image restoration
- object oriented
- requirements engineering
- tool support
- software development
- conceptual models
- modeling language
- sequence diagrams
- requirements analysis
- software systems
- image processing