Fig. 12
From: A symbolic model checking approach in formal verification of distributed systems
The LTS window in the GSMT framework
Fig. 12 | Human-centric Computing and Information Sciences
From: A symbolic model checking approach in formal verification of distributed systems
The LTS window in the GSMT framework