Stratified Guarded First-Order Transition Systems.

Christan Müller Helmut Seidl

Published in: SAS (2020)

Keyphrases

transition systems
model checking
horn clauses
temporal logic
concurrent systems
first order logic
control flow
finite state
practical reasoning
higher order
fixed point
reactive systems
model checker
formal specification
petri net
description language
formal verification
multi agent