Login / Signup

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

Lucas SilverEddy WestbrookMatthew YacavoneRyan Scott
Published in: Dagstuhl Artifacts Ser. (2023)
Keyphrases
  • main contribution
  • human computer interaction
  • conceptual framework
  • formal verification
  • genetic algorithm
  • database systems
  • association rules
  • probabilistic model
  • asynchronous circuits