A symbolic model checking approach in formal verification...

Human-Centric Computing and Information Sciences 2019 / 12 Vol. 9; Iss. 1

A symbolic model checking approach in formal verification of distributed systems

Souri, Alireza, Rahmani, Amir Masoud, Navimipour, Nima Jafari, Rezaei, Reza
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
9
Language:
english
Journal:
Human-centric Computing and Information Sciences
DOI:
10.1186/s13673-019-0165-x
Date:
December, 2019
File:
PDF, 3.69 MB
english, 2019
Conversion to is in progress
Conversion to is failed