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
11
views
16
references
Top references
cited by
4
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,909
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Computer Aided Verification
InVeSt : A tool for the verification of invariants
other
Author(s):
S. Bensalem
,
Y. Lakhnech
,
S. Owre
Publication date
(Online):
June 18 2005
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
open (via free pdf)
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
Environmental, Social, and Governance
Most cited references
16
Record
: found
Abstract
: not found
Book
: not found
Symbolic Model Checking
Kenneth McMillan
(1993)
0
comments
Cited
168
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Model checking and abstraction
Edmund M. Clarke
,
Orna Grumberg
,
David Long
(1994)
0
comments
Cited
102
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book
: not found
Temporal Verification of Reactive Systems
Zohar Manna
,
Amir Pnueli
(1995)
0
comments
Cited
86
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
1998
Publication date (Online):
June 18 2005
Pages
: 505-510
DOI:
10.1007/BFb0028771
SO-VID:
0635474b-848e-459b-86f5-97a032227079
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Synchronous programming of reactive systems
pp. 17
Ten years of partial order reduction
pp. 172
Using magnetic disk instead of main memory in the Mur ϕ verifier
pp. 280
A comparison of Presburger engines for EFSM reachability
pp. 477
Design constraints in symbolic model checking
pp. 88
Verifying systems with infinite but regular state spaces
pp. 110
Verification of an implementation of Tomasulo's algorithm by compositional model checking
pp. 147
Symmetry reductions in model checking
pp. 184
On-the-fly model checking of RCTL formulas
pp. 195
From pre-historic to post-modern symbolic model checking
pp. 293
Generating finite-state abstractions of reactive systems using decision procedures
pp. 319
Computing abstractions of infinite state systems compositionally and automatically
pp. 440
You assume, we guarantee: Methodology and case studies
pp. 452
Verification of a parameterized bus arbitration protocol
pp. 505
InVeSt : A tool for the verification of invariants
pp. 546
Kronos: A model-checking tool for real-time systems
Similar content
1,909
Natural capital investments in China undermined by reclamation for cropland
Authors:
Lingqiao Kong
,
Tong Wu
,
Yi Xiao
…
The timing of articulatory gestures: evidence for relational invariants.
Authors:
J. A. Scott Kelso
,
B Tuller
Does “how” firms invest in corporate social responsibility matter? An attributional model of job seekers’ reactions to configurational variation in corporate social responsibility
Authors:
Daniel G Bachrach
,
Pavlos A Vlachos
,
Kris Irwin
…
See all similar
Cited by
4
Compositional Verification for Component-Based Systems and Application
Authors:
Saddek Bensalem
,
Marius Bozga
,
Joseph Sifakis
…
Incremental Verification by Abstraction
Authors:
Y. Lakhnech
,
S. Bensalem
,
S. Berezin
…
Counter-Example Based Predicate Discovery in Predicate Abstraction
Authors:
Satyaki Das
,
David Dill
See all cited by