A Model Checker for a Partial Order based Model of Concurrency.

Edelweis Helena Ache Garcez Francisco Assis M. do Nascimento

Published in: MBMV (1998)

Keyphrases

partial order
high level
probability distribution
model checking
artificial intelligence
software engineering
first order logic
temporal logic
model checker
lattice structure