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
45
views
2
references
Top references
cited by
21
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,759
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Tools and Algorithms for the Construction and Analysis of Systems
CBMC – C Bounded Model Checker
other
Author(s):
Daniel Kroening
,
Michael Tautschnig
Publication date
(Print):
2014
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
open (via free pdf)
oa repository (via OAI-PMH title and first author 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
Business Model Innovation in engineering
Most cited references
2
Record
: found
Abstract
: not found
Book Chapter
: not found
Partial Orders for Efficient Bounded Model Checking of Concurrent Software
Jade Alglave
,
Daniel Kroening
,
Michael Tautschnig
(2013)
0
comments
Cited
15
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Report
: not found
Behavioral Consistency of C and Verilog Programs Using Bounded Model Checking
Edmund Clarke
,
Daniel Kroening
,
Karen Yorav
(2003)
0
comments
Cited
9
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2014
Pages
: 389-391
DOI:
10.1007/978-3-642-54862-8_26
SO-VID:
e2ca3c07-25fc-4b12-b6c3-f5f903578cd3
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 357
Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems
pp. 62
SMT-Based Verification of Software Countermeasures against Side-Channel Attacks
pp. 124
GRASShopper
pp. 140
Alternating Runtime and Size Complexity Analysis of Integer Programs
pp. 156
Proving Nontermination via Safety
pp. 187
FDR3 — A Modern Refinement Checker for CSP
pp. 389
CBMC – C Bounded Model Checker
pp. 398
Lazy-CSeq: A Lazy Sequentialization Tool for C
pp. 402
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings
pp. 424
Discounting in LTL
pp. 470
Synthesis for Human-in-the-Loop Control Systems
pp. 515
Computing Conditional Probabilities in Markovian Models Efficiently
pp. 562
SACO: Static Analyzer for Concurrent Objects
pp. 568
VeriMAP: A Tool for Verifying Programs through Transformations
pp. 587
APTE: An Algorithm for Proving Trace Equivalence
pp. 593
The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification
Similar content
2,759
Health Care Professionals’ Experiences of Web-Based Symptom Checkers for Triage: Cross-sectional Survey Study
Authors:
Sari Kujala
,
Iiris Hörhammer
Testing with model checkers: a survey
Authors:
Gordon Fraser
,
Franz Wotawa
,
Paul Ammann
Using a model checker to test safety properties
Authors:
P Ammann
,
Wei Ding
,
Daling Xu
See all similar
Cited by
21
Software Verification and Verifiable Witnesses
Authors:
Dirk Beyer
Software Verification with Validation of Results
Authors:
Dirk Beyer
Efficient and Scalable Runtime Monitoring for Cyber–Physical System
Authors:
Xi Zheng
,
Christine Julien
,
Rodion Podorozhny
…
See all cited by