A Logic for Paraconsistent Transition Systems.

Ana Cruz Alexandre Madeira Luís Soares Barbosa

Published in: NCL (2022)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
control flow
practical reasoning
finite state
model checker
logic programming
reactive systems
modal logic
formal specification
formal verification
dynamic programming