Formally Verified Simulations of State-Rich Processes using Interaction Trees in Isabelle/HOL.

Simon Foster Chung-Kil Hur Jim Woodcock

Published in: CoRR (2021)

Keyphrases

theorem prover
human computer interaction
decision trees
user interaction
natural deduction
real time
data sets
search engine
website
case study
state space
first order logic
tree models
behavioral model