The following pages link to Arie Gurfinkel (Q246144):
Displaying 45 items.
- SMT-based model checking for recursive programs (Q518396) (← links)
- On the consistency, expressiveness, and precision of partial modeling formalisms (Q617712) (← links)
- Data structures for symbolic multi-valued model-checking (Q862857) (← links)
- Fast interpolating BMC (Q1702933) (← links)
- Compositional verification of smart contracts through communication abstraction (Q2145351) (← links)
- Global guidance for local generalization in model checking (Q2226726) (← links)
- Beyond vacuity: towards the strongest passing formula (Q2248090) (← links)
- Lazy but effective functional synthesis (Q2287072) (← links)
- Maximal specification synthesis (Q2828322) (← links)
- (Q2848053) (← links)
- Whale: An Interpolation-Based Algorithm for Inter-procedural Verification (Q2891400) (← links)
- Regression Verification for Multi-threaded Programs (Q2891406) (← links)
- From Under-Approximations to Over-Approximations and Back (Q2894271) (← links)
- Compositional Sequentialization of Periodic Programs (Q2926663) (← links)
- Robust Vacuity for Branching Temporal Logic (Q2946649) (← links)
- Reachability Problems in Piecewise FIFO Systems (Q2946655) (← links)
- Horn Clause Solvers for Program Verification (Q2947164) (← links)
- IC3 - Flipping the E in ICE (Q2961586) (← links)
- BDD-Based Symbolic Model Checking (Q3176366) (← links)
- Automated Discovery of Simulation Between Programs (Q3460090) (← links)
- Model Checking Recursive Programs with Exact Predicate Abstraction (Q3540067) (← links)
- Mixed Transition Systems Revisited (Q3600485) (← links)
- Finding State Solutions to Temporal Logic Queries (Q3608888) (← links)
- (Q4417920) (← links)
- (Q4531751) (← links)
- Property Directed Equivalence via Abstract Simulation (Q4633561) (← links)
- Automated analysis of Stateflow models (Q4645732) (← links)
- (Q4806210) (← links)
- Boxes: A Symbolic Abstract Domain of Boxes (Q4930734) (← links)
- (Q4997233) (← links)
- Interpolation Properties and SAT-Based Model Checking (Q5166692) (← links)
- Property Directed Polyhedral Abstraction (Q5172647) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308426) (← links)
- Fundamental Approaches to Software Engineering (Q5316437) (← links)
- Variants of LTL Query Checking (Q5391524) (← links)
- Symbolic optimization with SMT solvers (Q5408453) (← links)
- Formal Methods in Computer-Aided Design (Q5492988) (← links)
- Correct Hardware Design and Verification Methods (Q5493216) (← links)
- Correct Hardware Design and Verification Methods (Q5493233) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5898630) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899060) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900571) (← links)
- Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation) (Q5962972) (← links)
- Fast approximations of quantifier elimination (Q6535528) (← links)
- Global guidance for local generalization in model checking (Q6632197) (← links)
