• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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