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
47
views
13
references
Top references
cited by
12
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,941
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Computer Aided Verification
Symbolic Compositional Verification by Learning Assumptions
other
Author(s):
Rajeev Alur
,
P. Madhusudan
,
Wonhong Nam
Publication date
(Print):
2005
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)
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
Teaching and learning evolution
Most cited references
13
Record
: found
Abstract
: not found
Book Chapter
: not found
Counterexample-Guided Abstraction Refinement
Edmund Clarke
,
Orna Grumberg
,
Somesh Jha
…
(2000)
0
comments
Cited
157
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Symbolic Model Checking without BDDs
Armin Biere
,
Alessandro Cimatti
,
Edmund Clarke
…
(1999)
0
comments
Cited
132
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
Alessandro Cimatti
,
Edmund Clarke
,
Enrico Giunchiglia
…
(2002)
0
comments
Cited
86
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2005
Pages
: 548-562
DOI:
10.1007/11513988_52
SO-VID:
250db5a9-febc-4bad-aca7-9fca050970e4
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 5
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology
pp. 20
SMT-COMP: Satisfiability Modulo Theories Competition
pp. 39
Interpolant-Based Transition Relation Approximation
pp. 67
Abstraction for Falsification
pp. 185
Formal Verification of Backward Compatibility of Microcode
pp. 266
On Statistical Model Checking of Stochastic Systems
pp. 301
F-Soft: Software Verification Platform
pp. 321
DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic
pp. 364
Efficient Monitoring of ω-Languages
pp. 429
Ymer: A Statistical Model Checker
pp. 462
A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs
pp. 476
Data Structure Specifications via Local Equality Axioms
pp. 491
Linear Ranking with Reachability
pp. 534
Automated Assume-Guarantee Reasoning for Simulation Conformance
pp. 548
Symbolic Compositional Verification by Learning Assumptions
Similar content
2,941
Values and assumptions in the development of DSM-III and DSM-III-R: an insider's perspective and a belated response to Sadler, Hulgus, and Agich's "On values in recent American psychiatric classification".
Authors:
A Spitzer
Testing the basic socio‐structural assumptions of social identity theory in the gender context: Evidence from correlational studies on women's leadership
Authors:
Carolin Scheifele
,
Franziska Ehrke
,
Maria Viladot
…
Researching early childhood education for sustainability: Challenging assumptions and orthodoxies
Authors:
See all similar
Cited by
12
Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning
Authors:
Corina Pasareanu
,
Dimitra Giannakopoulou
,
Mihaela Bobaru
…
Learning invariants using decision trees and implication counterexamples
Authors:
Pranav Garg
,
Daniel Neider
,
P. Madhusudan
…
Inferring Network Invariants Automatically
Authors:
Olga Grinchtein
,
Martin Leucker
,
Nir Piterman
See all cited by