The following pages link to Serdar Tasiran (Q2050103):
Displayed 7 items.
- Model checking boot code from AWS data centers (Q2050104) (← links)
- A mechanized refinement proof of the Chase-Lev deque using a proof system (Q2218426) (← links)
- Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency (Q2988639) (← links)
- Simplifying Linearizability Proofs with Reduction and Abstraction (Q3557084) (← links)
- A calculus of atomic actions (Q5261501) (← links)
- Reasoning about TSO programs using reduction and abstraction (Q6039412) (← links)
- Verifying abstractions of timed systems (Q6162104) (← links)