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
38
views
37
references
Top references
cited by
24
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,179
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Computer Aided Verification
Timed Automata
other
Author(s):
Rajeev Alur
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
ScienceOpen Research
Most cited references
37
Record
: found
Abstract
: not found
Conference Proceedings
: not found
The temporal logic of programs
Amir Pnueli
(1977)
0
comments
Cited
393
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Specifying real-time properties with metric temporal logic
Ron Koymans
(1990)
0
comments
Cited
132
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Model-Checking in Dense Real-Time
D. Dill
,
C. Courcoubetis
,
R. Alur
(1993)
0
comments
Cited
93
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
1999
Publication date (Online):
January 14 2003
Pages
: 8-22
DOI:
10.1007/3-540-48683-6_3
SO-VID:
74ecb6af-1cbc-4c07-a489-b33df91ad769
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,179
Comparison of proposed countermeasures for dilemma zone at signalized intersections based on cellular automata simulations
Authors:
Yina Wu
,
Mohamed Abdel-Aty
,
Yaoxian Ding
…
Step flow model in continuous cellular automata method for simulation of anisotropic etching of silicon
Authors:
Mohamad Rezvankhah
,
Mohsen Shayan
,
Amir Merati
…
Online recognition of human activities and adaptation to habit changes by means of learning automata and fuzzy temporal windows
Authors:
M Ros
,
M.P. Cuellar
,
M Delgado
…
See all similar
Cited by
24
A survey of recent advances in SAT-based formal verification
Authors:
Armin Biere
,
Mukul Prasad
,
Aarti Gupta
From MITL to Timed Automata
Authors:
Oded Maler
,
Dejan Nickovic
,
Amir Pnueli
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions
Authors:
Gilles Audemard
,
Piergiorgio Bertoli
,
Alessandro Cimatti
…
See all cited by