Old Web
Temporal Verification in Secure Group Communication System Design
2007
The paper discusses an experience in using a realtime UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirements. A generic framework is proposed and specialized for hierarchical groups.
Keywords:
- Computer network
- Computer architecture
- Verification
- Electronic system-level design and verification
- Intelligent verification
- Systems Modeling Language
- Runtime verification
- Real-time computing
- Computer science
- High-level verification
- Functional verification
- Formal verification
- Software engineering
- Distributed computing
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
9
References
2
Citations
NaN
KQI