Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra.

Simon Foster Kangfeng Ye Ana Cavalcanti Jim Woodcock

Published in: CoRR (2018)

Keyphrases

propositional logic
reactive planning
data sets
agent architecture
relation algebra
relational databases
database
object oriented
intelligent agents
formal methods
reactive systems
algebraic structure