Login / Signup

Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification.

Lucas SilverEddy WestbrookMatthew YacavoneRyan Scott
Published in: ECOOP (2023)
Keyphrases
  • main contribution
  • high level
  • conceptual framework
  • framework enables
  • web services
  • reinforcement learning
  • human computer interaction
  • theoretical framework
  • model checking