Login / Signup
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