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

Simon Foster Chung-Kil Hur Jim Woodcock

Published in: CONCUR (2021)

Keyphrases

theorem prover
human computer interaction
high level
decision trees
human interaction
data sets
real world
data mining
machine learning
artificial intelligence
web services
virtual environment
process model
numerical simulations
natural deduction