XMC : A logic-programming-based verification toolset

XMC is a toolset for specifying and verifying concurrent systems. A distinguishing aspect of XMC is that model checking is carried out as query evaluation, by building proof trees using tabled resolution. The main advantage to making proof-tree construction central to XMC is the resultant flexibility and extensibility of the system.