Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
113
views
0
references
Top references
cited by
15
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,486
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Computer Aided Verification
other
Editor(s):
Ganesh Gopalakrishnan
,
Shaz Qadeer
Publication date
(Print):
2011
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
ScienceOpen Research
Author and book information
Book
ISBN (Print):
978-3-642-22109-5
ISBN (Electronic):
978-3-642-22110-1
Publication date (Print):
2011
DOI:
10.1007/978-3-642-22110-1
SO-VID:
958b3e5e-061c-41f9-8fbf-c26719a49f77
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection
pp. 470
HMC: Verifying Functional Programs Using Abstract Interpreters
pp. 50
Stability in Weak Memory Models
pp. 99
Getting Rid of Store-Buffers in TSO Analysis
pp. 149
Resolution Proofs and Skolem Functions in QBF Evaluation and Applications
pp. 165
The BINCOA Framework for Binary Code Analysis
pp. 171
CVC4
pp. 178
SLAyer: Memory Safety for Systems-Level Code
pp. 184
CPAchecker: A Tool for Configurable Software Verification
pp. 225
Model Checking Algorithms for CTMDPs
pp. 243
Quantitative Synthesis for Concurrent Programs
pp. 277
Smoothing a Program Soundly and Robustly
pp. 349
Time for Statistical Model Checking of Real-Time Systems
pp. 372
Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic
pp. 379
SpaceEx: Scalable Verification of Hybrid Systems
pp. 396
From Cardiac Cells to Genetic Regulatory Networks
pp. 412
Threader: A Constraint-Based Verifier for Multi-threaded Programs
pp. 457
μZ– An Efficient Engine for Fixed Points with Constraints
pp. 463
BAP: A Binary Analysis Platform
pp. 504
Bug-Assist: Assisting Fault Localization in ANSI-C Programs
pp. 526
Language Equivalence for Probabilistic Automata
pp. 573
Interpolation-Based Software Verification with Wolverine
pp. 585
PRISM 4.0: Verification of Probabilistic Real-Time Systems
pp. 592
Program Analysis for Overlaid Data Structures
pp. 609
KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs
pp. 663
Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP
pp. 669
Practical, Low-Effort Equivalence Verification of Real Code
pp. 686
Relational Abstractions for Continuous and Hybrid Systems
pp. 703
Simplifying Loop Invariant Generation Using Splitter Predicates
pp. 743
Model Checking Recursive Programs with Numeric Data Types
Similar content
1,486
Association between hearing aid use and all-cause and cause-specific dementia: an analysis of the UK Biobank cohort
Authors:
Fan Jiang
,
Shiva Raj Mishra
,
Nipun Shrestha
…
Solvent Dependence of Ionic Liquid-Based Pt Nanoparticle Synthesis: Machine Learning-Aided In-Line Monitoring in a Flow Reactor
Authors:
Bin Pan
,
Majed S. Madani
,
Allison P. Forsberg
…
Virus envelope protein of HTLV-III represents major target antigen for antibodies in AIDS patients.
Authors:
J Groopman
,
Jae H T Lee
,
M. Essex
…
See all similar
Cited by
15
RTN3 Is a Novel Cold-Induced Protein and Mediates Neuroprotective Effects of RBM3
Authors:
Amandine Bastide
,
Diego Peretti
,
John Knight
…
Predicting SMT Solver Performance for Software Verification
Authors:
Andrew Healy
,
Rosemary Monahan
,
James F. Power
Completeness of Lyapunov Abstraction
Authors:
Christoffer Sloth
,
Rafael Wisniewski
See all cited by