research
∙
12/08/2021
A Completeness Proof for A Regular Predicate Logic with Undefined Truth Value
We provide a sound and complete proof system for an extension of Kleene'...
research
∙
12/31/2020
A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
One of the most popular state-space reduction techniques for model check...
research
∙
10/22/2019