Email Address * *
Name
Subject *
Message * Model checking Model checkers, Temporal logic, Construction and Analysis of Distributed Processes, List of model checking tools, Promela - 1233158600 - 9781233158607