Safety Verification of Parameterized Systems under Release-Acquire.

Adwait Godbole Shankara Narayanan Krishna Roland Meyer

Published in: CoRR (2021)

Keyphrases

management system
knowledge base
expert systems
distributed systems
safety critical
information retrieval
image sequences
multiscale
digital libraries
computer systems
safety analysis