RSC to the ReSCu: Automated Verification of Systems of Communicating Automata.

Loïc Desgeorges Loïc Germerie Guizouarn

Published in: COORDINATION (2023)

Keyphrases

automated verification
model checking
automated reasoning
neural network
databases
distributed systems
computer systems
knowledge based systems
formal verification
machine learning
information retrieval
artificial intelligence
web services
multi agent systems
complex systems
temporal logic