Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility.
Jacob R. LorchYixuan ChenManos KapritsosHaojun MaBryan ParnoShaz QadeerUpamanyu SharmaJames R. WilcoxXueyuan ZhaoPublished in: ACM Trans. Program. Lang. Syst. (2022)
Keyphrases
- automated verification
- model checking
- formal verification
- automated reasoning
- concurrent programs
- semantic information
- semantic web
- temporal logic
- semantic similarity
- semantic analysis
- natural language
- domain specific
- similarity measure
- domain independent
- semantic annotation
- mutual exclusion
- semantic representation
- low level features
- semantic relationships
- semantic network
- artificial intelligence
- source code
- low level
- high level