The following pages link to Byron Cook (Q470002):
Displaying 39 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)
- Local Reasoning for Storable Locks and Threads (Q3498431) (← links)
- Proving Conditional Termination (Q3512502) (← links)
- Scalable Shape Analysis for Systems Code (Q3512506) (← links)
- Ranking Function Synthesis for Bit-Vector Relations (Q3557080) (← links)
- Arithmetic Strengthening for Shape Analysis (Q3612011) (← links)
- Interprocedural Shape Analysis with Separated Heap Abstractions (Q3613389) (← links)
- Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems (Q4640287) (← links)
- (Q4787252) (← links)
- Fairness for Infinite-State Systems (Q5194957) (← links)
- Proving that non-blocking algorithms don't block (Q5261502) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308422) (← links)
- Predicate Abstraction via Symbolic Decision Procedures (Q5310686) (← links)
- Computer Aided Verification (Q5312923) (← links)
- Ramsey vs. Lexicographic Termination Proving (Q5326314) (← links)
- Model Checking Software (Q5394555) (← links)
- Making prophecies with decision predicates (Q5408559) (← links)
- Shape Analysis for Composite Data Structures (Q5429321) (← links)
- Ranking Abstractions (Q5458393) (← links)
- Computer Aided Verification (Q5716570) (← links)
- Computer Aided Verification (Q5716593) (← links)
- Precision and the Conjunction Rule in Concurrent Separation Logic (Q5739357) (← links)
- Automatic Termination Proofs for Programs with Shape-Shifting Heaps (Q5756731) (← links)
- Repair of Boolean Programs with an Application to C (Q5756732) (← links)
- Shape Analysis by Graph Decomposition (Q5758098) (← links)
- Static Analysis (Q5897430) (← links)
- Computer Aided Verification (Q5900675) (← links)
