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
39
views
20
references
Top references
cited by
25
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,242
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Computer Aided Verification
Liveness with (0,1, ∞)- Counter Abstraction
other
Author(s):
Amir Pnueli
,
Jessie Xu
,
Lenore Zuck
Publication date
(Online):
September 20 2002
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
ScienceOpen Research
Most cited references
20
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Abstract interpretation
Patrick Cousot
,
Radhia Cousot
(1977)
0
comments
Cited
364
times
– based on
0
reviews
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
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Checking that finite state concurrent programs satisfy their linear specification
Amir Pnueli
,
Orna Lichtenstein
(1985)
0
comments
Cited
78
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2002
Publication date (Online):
September 20 2002
Pages
: 107-122
DOI:
10.1007/3-540-45657-0_9
SO-VID:
77453de0-1715-48d7-a967-3635a62ce428
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 65
Symbolic Localization Reduction with Reconstruction Layering and Backtracking
pp. 17
The Quest for Efficient Boolean Satisfiability Solvers
pp. 58
Infinite Games and Verification
pp. 78
Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions
pp. 107
Liveness with (0,1, ∞)- Counter Abstraction
pp. 209
Deciding Separation Formulas with SAT
pp. 223
Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling
pp. 236
Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT
pp. 265
SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques
pp. 349
The AVISS Security Protocol Analysis Tool
pp. 365
The d/dt Tool for Verification of Hybrid Systems
pp. 414
Synchronous and Bidirectional Component Interfaces
pp. 428
Interface Compatibility Checking for Software Modules
pp. 442
Practical Methods for Proving Program Termination
pp. 485
Vacuum Cleaning CTL Formulae
pp. 500
CVC: A Cooperating Validity Checker
pp. 526
Temporal-Safety Proofs for Systems Code
pp. 539
Extrapolating Tree Transformations
pp. 555
Regular Tree Model Checking
pp. 610
Fair Simulation Minimization
Similar content
2,242
On the existence of additional solutions for equations in the \((1/2,0)\oplus (0,1/2)\) representation space
Authors:
Valeri V. Dvoeglazov
Experimental study of the T(0,1)-wave excitation method based on a buffer waveguide
Authors:
SUN Feiran
,
DING Yulin
,
SUN Zhenguo
…
Universality of the Galois action on the fundamental group of \(\mathbb{P}^1\setminus\{0,1,\infty\}\)
Authors:
Alexander Petrov
See all similar
Cited by
25
Abstract Regular Model Checking
Authors:
Ahmed Bouajjani
,
Peter Habermehl
,
Tomas Vojnar
Symmetry Reduction for Probabilistic Model Checking
Authors:
Marta Kwiatkowska
,
Gethin Norman
,
David Parker
Environment Abstraction for Parameterized Verification
Authors:
Edmund Clarke
,
Muralidhar Talupur
,
Helmut Veith
See all cited by