Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization.
Andreea CosteaWei-Ngan ChinFlorin CraciunShengchao QinPublished in: CoRR (2021)
Keyphrases
- semi automated
- model checking
- fully automated
- explicit knowledge
- fully automatic
- explicit or implicit
- modular structure
- computer assisted
- temporal logic
- explicit feedback
- automated analysis
- face verification
- multi channel
- real time
- semi automatic
- distributed systems
- knowledge management
- website
- multimedia
- machine learning