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
54
views
15
references
Top references
cited by
30
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,856
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Tools and Algorithms for the Construction and Analysis of Systems
Translation validation
other
Author(s):
A. Pnueli
,
M. Siegel
,
E. Singerman
Publication date
(Online):
May 25 2006
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
15
Record
: found
Abstract
: not found
Article
: not found
Statecharts: a visual formalism for complex systems
David Harel
(1987)
0
comments
Cited
353
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book
: not found
The Temporal Logic of Reactive and Concurrent Systems
Zohar Manna
,
Amir Pnueli
(1992)
0
comments
Cited
158
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
All references
Author and book information
Book Chapter
Publication date (Print):
1998
Publication date (Online):
May 25 2006
Pages
: 151-166
DOI:
10.1007/BFb0054170
SO-VID:
b0b9af35-62ad-4c4b-b006-ad5c4b3c9edf
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 5
Fully local and efficient evaluation of alternating fixed points
pp. 263
Model checking via reachability testing for timed automata
pp. 68
OPEN/CÆSAR: An open software architecture for verification, simulation, and testing
pp. 85
Practical model-checking using games
pp. 151
Translation validation
pp. 298
Verifying networks of timed processes
pp. 313
Model checking of real-time reachability properties using abstractions
Similar content
1,856
Grimm Brothers: Rapunzel. Translated by Godwin-Jones R Richmond, Virginia Commonwealth University Department of Foreign Languages 1994-1999
Authors:
Unusual development of the celiac trunk and its clinical significance
Translated title: Desenvolvimento incomum do tronco celíaco e sua importância clínica
Authors:
Serghei Covantev
,
Natalia Mazuruc
,
Irina Drangoi
…
Individual differences in dispositional expressiveness: development and validation of the Emotional Expressivity Scale.
Authors:
Ann M. Kring
,
David Smith
,
John M. Neale
See all similar
Cited by
30
A Formally Verified Compiler Back-end
Authors:
Xavier Leroy
A formally verified compiler back-end
Authors:
Verifying Procedural Programs via Constrained Rewriting Induction
Authors:
Carsten Fuhs
,
Cynthia Kop
,
Naoki Nishida
See all cited by