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
Done
Inviting an author to review:
Chapter 6 Demand for education
Find an author and click ‘
Invite to review selected article
’ near their name.
Search for authors
Search for similar articles
Invite by email
58
views
14
references
Top references
cited by
39
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,156
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Tools and Algorithms for the Construction and Analysis of Systems
Synthesizing Monitors for Safety Properties
other
Author(s):
Klaus Havelund
,
Grigore Roşu
Publication date
(Online):
March 14 2002
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
open (via free pdf)
oa repository (via OAI-PMH title and first author match)
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
14
Record
: found
Abstract
: not found
Conference Proceedings
: not found
The temporal logic of programs
Amir Pnueli
(1977)
0
comments
Cited
390
times
– based on
0
reviews
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
157
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Model checking JAVA programs using JAVA PathFinder
Klaus Havelund
,
Thomas Pressburger
(2000)
0
comments
Cited
43
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2002
Publication date (Online):
March 14 2002
Pages
: 342-356
DOI:
10.1007/3-540-46002-0_24
SO-VID:
579be8df-ea0e-4c4c-a9e0-a3bb8c1e58fc
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 113
Preemptive Job-Shop Scheduling Using Stopwatch Automata
pp. 188
CLPS-B—A Constraint Solver for B
pp. 465
Compositional Verification Using SVL Scripts
pp. 52
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach
pp. 67
Timed Automata with Asynchronous Processes: Schedulability and Decidability
pp. 158
Relative Completeness of Abstraction Refinement for Software Model Checking
pp. 173
Towards the Automated Verification of Multithreaded Java Programs
pp. 296
The ForSpec Temporal Logic: A New Temporal Property-Specification Language
pp. 327
A Temporal Logic Based Theory of Test Coverage and Generation
pp. 342
Synthesizing Monitors for Safety Properties
pp. 357
Adaptive Model Checking
pp. 460
TIMES b— A Tool for Modelling and Implementation of Embedded Systems
pp. 470
STG: A Symbolic Test Generation Tool
Similar content
3,156
Learning Planning-based Reasoning by Trajectories Collection and Process Reward Synthesizing
Authors:
Fangkai Jiao
,
Chengwei Qin
,
Zhengyuan Liu
…
Putative spermine synthases from Thalassiosira pseudonana and Arabidopsis thaliana synthesize thermospermine rather than spermine.
Authors:
Manfred Sumper
,
Piero Römer
,
Eric J. Knott
CAF-1 deposits newly synthesized histones during DNA replication using distinct mechanisms on the leading and lagging strands
Authors:
Clément Rouillon
,
Bruna V Eckhardt
,
Leonie Kollenstart
…
See all similar
Cited by
39
DecSerFlow: Towards a Truly Declarative Service Flow Language
Authors:
W. VAN DER AALST
,
M Pesic
Process Mining and Verification of Properties: An Approach Based on Temporal Logic
Authors:
W. VAN DER AALST
,
H. de Beer
,
B. van Dongen
Rule-Based Runtime Verification
Authors:
Howard Barringer
,
Allen Goldberg
,
Klaus Havelund
…
See all cited by