The following pages link to Byron Cook (Q470002):
Displaying 14 items.
- Proving termination of nonlinear command sequences (Q470005) (← links)
- Summarization for termination: No return! (Q845247) (← links)
- On automation of \(\mathsf{CTL}^*\) verification for infinite-state systems (Q1702907) (← links)
- Model checking boot code from AWS data centers (Q2050104) (← links)
- Stratified abstraction of access control policies (Q2225096) (← links)
- Ranking function synthesis for bit-vector relations (Q2248069) (← links)
- Temporal property verification as a program analysis task (Q2441713) (← links)
- Verification of Boolean programs with unbounded thread creation (Q2464944) (← links)
- Spatial Interpolants (Q2802459) (← links)
- Proving Stabilization of Biological Systems (Q3075477) (← links)
- Tractable Reasoning in a Fragment of Separation Logic (Q3090833) (← links)
- Variance analyses from invariance analyses (Q3189800) (← links)
- Proving that programs eventually do something good (Q3189807) (← links)
- Precision and the Conjunction Rule in Concurrent Separation Logic (Q5739357) (← links)
