Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
29
views
2
references
Top references
cited by
32
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,429
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Computer Aided Verification
NuSMV: A New Symbolic Model Verifier
other
Author(s):
A. Cimatti
,
E. Clarke
,
F. Giunchiglia
,
M. Roveri
Publication date
(Online):
January 14 2003
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
Business Model Innovation in engineering
Most cited references
2
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
Conference Proceedings
: not found
Representing circuits more efficiently in symbolic model checking
J. Burch
,
E. Clarke
,
D E Long
(1991)
0
comments
Cited
6
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
1999
Publication date (Online):
January 14 2003
Pages
: 495-499
DOI:
10.1007/3-540-48683-6_44
SO-VID:
5c0ab2df-083b-4344-ba18-f341f272aa5b
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 8
Timed Automata
pp. 108
Test Generation Derived from Model-Checking
pp. 60
Verifying Safety Properties of a PowerPC− Microprocessor Using Symbolic Model Checking without BDDs
pp. 134
Handling Global Conditions in Parametrized System Verification
pp. 160
Experience with Predicate Abstraction
pp. 172
Model Checking of Safety Properties
pp. 222
Efficient Decision Procedures for Model Checking of Linear Time Logic Properties
pp. 249
Improved Automata Generation for Linear Temporal Logic
pp. 274
Model Checking Partial State Spaces with 3-Valued Temporal Logics
pp. 341
Efficient Timed Reachability Analysis Using Clock Difference Diagrams
pp. 443
Abstract and Model Check while You Prove
pp. 455
Deciding Equality Formulas by Small Domains Instantiations
pp. 470
Exploiting Positive Equality in a Logic of Equality with Uninterpreted Functions
pp. 495
NuSMV: A New Symbolic Model Verifier
Similar content
3,429
Modeling & verification of Sliding Window Protocol with data loss and intruder detection using NuSMV
Authors:
Aditya Sinha
,
Ajay Ry
,
Sanjay Singh
Using the NuSMV Model Checker for Test Generation from Statecharts
Authors:
Masaya Kadono
,
Tatsuhiro Tsuchiya
,
Tohru Kikuno
Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems
Authors:
Orlando Ferrante
,
Luca Benvenuti
,
Leonardo Mangeruca
…
See all similar
Cited by
32
A Classification and Survey of Analysis Strategies for Software Product Lines
Authors:
Christian Kastner
,
Gunter Saake
,
Ina Schaefer
…
Temporal Logics for Hyperproperties
Authors:
Michael Clarkson
,
Bernd Finkbeiner
,
Masoud Koleini
…
SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques
Authors:
Edmund Clarke
,
Anubhav Gupta
,
James Kukula
…
See all cited by