Sign in
A symbolic model checking approach in formal verification of distributed systems.
Alireza Souri
Amir Masoud Rahmani
Nima Jafari Navimipour
Reza Rezaei
Published in:
Hum. centric Comput. Inf. Sci. (2019)
Keyphrases
</>
distributed systems
symbolic model checking
formal verification
model checking
model checker
fault tolerant
distributed environment
message passing
software architecture
temporal logic
web services
domain specific
finite state