Translating SysML Activity Diagrams for nuXmv Verification of an Autonomous Pancreas.
Orion StaskalJosh SimacLogan SwayneKristin Y. RozierPublished in: COMPSAC (2022)
Keyphrases
- activity diagrams
- formal methods
- conceptual database design
- safety analysis
- operational semantics
- model checking
- safety critical
- sequence diagrams
- class diagrams
- requirements engineering
- artificial intelligence
- modeling language
- formal verification
- relational databases
- entity relationship
- requirements specification