conftrace_

state machine

8 papers

Explore in graph

Co-occurring keywords

formal verification (284) tool interface (1) interdependent annotation (1) mental health training (2) virtual standardized patient (2) clinical faithfulness (2) invariant inference (2) protocol correctness (1) crash consistency (8) automated verification (11)

Papers

PUPPET: Neural-Symbolic Standardized Patients for Mental Health ACL 2026
From End-to-end to Step-by-step: Learning to Abstract via Abductive Reinforcement Learning IJCAI 2025
The Art of Tool Interface Design ACL 2025
Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs OSDI 2024
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems OSDI 2023
Persistent State Machines for Recoverable In-memory Storage Systems with NVRam OSDI 2020
HUMAN: Hierarchical Universal Modular ANnotator EMNLP 2020
Interactive Robot Transition Repair With SMT IJCAI 2018