Dashboards
PROVIDE
CONNECT
MONITOR
DEVELOP
Search
Research Outcomes
Projects
Content Providers
Organizations
Deposit
Link
Start linking
Learn more
Content Providers
Repositories
Journals
Registries
Browse all
Sign in
Explore
Provide
Connect
Monitor
Develop
Search
Research Outcomes
Projects
Content Providers
Organizations
Deposit
Link
Start linking
Learn more
Content Providers
Repositories
Journals
Registries
Browse all
Sign in
research data
. Dataset
. 2018
Quantifiers on Demand
Gurfinkel, Arie;
Shoham, Sharon;
Vizel, Yakir;
Published:
01 Jan 1970
Publisher:
Springer International Publishing
Link this research data to...
Cite this research data
Summary
Related research
doi:
10.1007/978-3-030-01090-4_15
Download from
https://dx.doi.org/10.1007/978...
Dataset
.
2018
Provider:
Datacite
Springer International Publishing
Related research
18
research outcomes, page
1
of
2
1
2
2004
Constructing Quantified Invariants via Predicate Abstraction
2014
Interpolating Property Directed Reachability
2011
μZ– An Efficient Engine for Fixed Points with Constraints
2005
What’s Decidable About Arrays?
2017
Software Verification with Validation of Results
2016
Cell Morphing: From Array Programs to Array-Free Horn Clauses
2008
Z3: An Efficient SMT Solver
2013
On Solving Universally Quantified Horn Clauses
2012
Generalized Property Directed Reachability
2015
The SeaHorn Verification Framework
18
research outcomes, page
1
of
2
1
2
Powered by
OpenAIRE Research Graph
Any information missing or wrong?
Report an Issue
OK
Cancel
Projects
Research outcomes
Communities
OK
Cancel
OK
Cancel