The following pages link to Computer Aided Verification (Q5716587):
Displaying 9 items.
- Analyzing pushdown systems with stack manipulation (Q1706143) (← links)
- A new abstraction framework for affine transformers (Q2322316) (← links)
- Weighted pushdown systems and their application to interprocedural dataflow analysis (Q2568453) (← links)
- Sound Bit-Precise Numerical Domains (Q2961585) (← links)
- Faster Algorithms for Weighted Recursive State Machines (Q2988644) (← links)
- Reasoning about Threads with Bounded Lock Chains (Q3090848) (← links)
- Model Checking Concurrent Programs (Q3176376) (← links)
- Weighted Pushdown Systems with Indexed Weight Domains (Q5326328) (← links)
- Program Analysis Using Weighted Pushdown Systems (Q5458821) (← links)