Practical Approach To Modelling And Verification Of Concurrent Systems With ALVIS.

Marcin Szpyrka Piotr Matyasik Rafal Mrowka

Published in: ECMS (2011)

Keyphrases

concurrent systems
temporal logic
distributed systems
model checking
process algebra
petri net
formal specification
transition systems
learning algorithm
practical application
neural network
information systems
website
verification method