ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
1
views
12
references
Top references
cited by
3
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
4,346
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Computer Aided Verification
Quantitative Synthesis for Concurrent Programs
other
Author(s):
Pavol Černý
,
Krishnendu Chatterjee
,
Thomas A. Henzinger
,
Arjun Radhakrishna
,
Rohit Singh
Publication date
(Print):
2011
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
open (via free pdf)
oa repository (via OAI-PMH doi match)
oa repository (via OAI-PMH title and first author match)
Powered by
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
Genomic Prediction: Concepts, Benchmarks & Synthesis
Most cited references
12
Record
: found
Abstract
: not found
Conference Proceedings
: not found
On the synthesis of a reactive module
R Rosner
,
A. Pnueli
(1989)
0
comments
Cited
145
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Better Quality in Synthesis through Quantitative Objectives
Roderick Bloem
,
Krishnendu Chatterjee
,
Thomas Henzinger
…
(2009)
0
comments
Cited
44
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book
: not found
Competitive Markov Decision Processes
Jerzy Filar
,
Koos Vrieze
(1996)
0
comments
Cited
24
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2011
Pages
: 243-259
DOI:
10.1007/978-3-642-22110-1_20
SO-VID:
0003c84c-5a39-41c2-a607-e6c1b82ce373
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
4,346
Synthesis and study of the antimalarial cardamom peroxide
Authors:
Thomas J. Maimone
,
Rick Fairhurst
,
Pharath Lim
…
Chemical synthesis of beta-defensins and LEAP-1/hepcidin.
Authors:
K Adermann
,
A. Schulz
,
W.-G. Forssmann
…
Synthesis of embryonic tendon-like tissue by human marrow stromal/mesenchymal stem cells requires a three-dimensional environment and transforming growth factor β3
Authors:
Zoher Kapacee
,
Ching-Yan Chloé Yeung
,
Yinhui Lu
…
See all similar
Cited by
15
Automated Verification and Strategy Synthesis for Probabilistic Systems
Authors:
Marta Kwiatkowska
,
David Parker
Strategy Synthesis for Multi-Dimensional Quantitative Objectives
Authors:
Krishnendu Chatterjee
,
Mickael Randour
,
Jean-François Raskin
Quantitative reactive modeling and verification
Authors:
Thomas Henzinger
See all cited by