The following pages link to Grail (Q38480):
Displaying 4 items.
- Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
- Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits (Q670699) (← links)
- A program logic for resources (Q2463560) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705934) (← links)