Login / Signup
Verification of Concurrent Systems with VerCors.
Afshin Amighi
Stefan Blom
Saeed Darabi
Marieke Huisman
Wojciech Mostowski
Marina Zaharieva-Stojanovski
Published in:
SFM (2014)
Keyphrases
</>
concurrent systems
temporal logic
distributed systems
model checking
process algebra
transition systems
petri net
formal specification
neural network
information retrieval
information systems
fuzzy petri net
fine grained
software engineering
face recognition
model checker
database