Verification of two-variable logic revisited
Two-variable logic (FO2) is a fragment of first-order logic that allows for decidable verification problems. In previous work [2], we developed an approach to FO2 verification that is particularly useful for probabilistic systems, based on analysis of the translation of FO2 to automata. In this work...
| Main Authors: | , , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
2012
|