The following pages link to Sagar Chaki (Q246143):
Displayed 28 items.
- SMT-based model checking for recursive programs (Q518396) (← links)
- Three optimizations for assume-guarantee reasoning with \(L^{*}\) (Q934701) (← links)
- Verification of evolving software via component substitutability analysis (Q934712) (← links)
- Item:Q246143 (redirect page) (← links)
- Efficient verification of sequential and concurrent C programs (Q1888200) (← links)
- Concurrent software verification with states, events, and deadlocks (Q2432214) (← links)
- (Q2769585) (← links)
- Model Checking with Multi-threaded IC3 Portfolios (Q2796075) (← links)
- (Q2845499) (← links)
- (Q2852081) (← links)
- Regression Verification for Multi-threaded Programs (Q2891406) (← links)
- Parametric Verification of Address Space Separation (Q2894314) (← links)
- Compositional Sequentialization of Periodic Programs (Q2926663) (← links)
- BDD-Based Symbolic Model Checking (Q3176366) (← links)
- Boxes: A Symbolic Abstract Domain of Boxes (Q4930734) (← links)
- Types as models (Q5178897) (← links)
- State/Event Software Verification for Branching-Time Specifications (Q5429308) (← links)
- An Iterative Framework for Simulation Conformance (Q5696303) (← links)
- Computer Aided Verification (Q5716552) (← links)
- Computer Aided Verification (Q5716595) (← links)
- FM 2005: Formal Methods (Q5716900) (← links)
- Optimized L*-Based Assume-Guarantee Reasoning (Q5758116) (← links)
- Correct Hardware Design and Verification Methods (Q5897055) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899056) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899068) (← links)
- Integrated Formal Methods (Q5901610) (← links)
- Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation) (Q5962972) (← links)
- Achieving high coverage in hardware equivalence checking via concolic verification (Q6056637) (← links)