Structured Specification of Paraconsistent Transition Systems.

Juliana Cunha Alexandre Madeira Luís Soares Barbosa

Published in: FSEN (2023)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
reactive systems
case study
data flow
markov chain
optimal policy
formal specification