Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Arie Gurfinkel
Finding Errors in Python Programs Using Dynamic Symbolic Execution
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications
Innovations in Systems and Software Engineering
Software
Symbolic Optimization With SMT Solvers
Finding State Solutions to Temporal Logic Queries
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model-Checking Software Using Precise Abstractions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Analysis of Stateflow Models
Finding Environment Guarantees
