Login / Signup
Automated Verification of Asynchronous Communicating Systems with TLA+.
Florent Chevrou
Aurélie Hurault
Philippe Quéinnec
Published in:
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2015)
Keyphrases
</>
automated verification
model checking
automated reasoning
formal verification
temporal logic
database
databases
management system
learning systems
data sets
neural network
distributed systems
intelligent systems
computer systems