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
28
views
9
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,951
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
SPIN Model Checking and Software Verification
Bebop: A Symbolic Model Checker for Boolean Programs
other
Author(s):
Thomas Ball
,
Sriram K. Rajamani
Publication date
(Print):
2000
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
Business Model Innovation in engineering
Most cited references
9
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
Book Chapter
: not found
VIS: A system for verification and synthesis
Robert K. Brayton
,
Gary D. Hachtel
,
Alberto L. Sangiovanni-Vincentelli
…
(1996)
0
comments
Cited
27
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
The Mur ϕ verification system
David Dill
(1996)
0
comments
Cited
19
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2000
Pages
: 113-130
DOI:
10.1007/10722468_7
SO-VID:
7ea4d003-94c4-43e6-9411-812aba66bc23
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 113
Bebop: A Symbolic Model Checker for Boolean Programs
pp. 131
Logic Verification of ANSI-C Code with SPIN
pp. 224
Model-Checking Multi-threaded Distributed Java Programs
pp. 323
The Temporal Rover and the ATG Rover
Similar content
2,951
Things to Come: Swing Bands, Bebop, and the Rise of a Postwar Jazz Scene
Authors:
Four Lives in the Bebop Business
Authors:
SPELLMAN
Paparazzi UAV, an Open-Source Hardware and Software Autopilot. Paparazzi UAV Support for Parrot Bebop
Authors:
See all similar
Cited by
46
Boolean and Cartesian Abstraction for Model Checking C Programs
Authors:
Thomas Ball
,
Andreas Podelski
,
Sriram Rajamani
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft
Authors:
Thomas L. Ball
,
Byron Cook
,
Vladimir Levin
…
A Temporal Logic of Nested Calls and Returns
Authors:
Rajeev Alur
,
Kousha Etessami
,
P. Madhusudan
See all cited by