Wan Fokkink  Home/Search
Context Related
| phil.uu.nl/pub/logic...preprint135.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: phil.uu.nl/preprints (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We formulate several classes of safety criteria for railway yards in terms of observable behaviour. These criteria are meant to protect trains from collisions and from derailments. We identify a number of safety criteria, and present instances of these classes for the case of the railway yard at station Hoorn--Kersenboogerd. These criteria have all been checked by means of the Stalmarck theorem prover, using a methodology from Groote, Koorn and Van Vlijmen. 1 Introduction At a growing number... (Update)
Context of citations to this paper: More
...to grasp the safety requirements. For a description of the full range of requirements for Hoorn Kersenboogerd the reader is referred to [2]. Our classification does not cover the full range of desirable safety criteria, that is, validity of these criteria does not ensure that...
.... Stalmarck s proof procedure is a method of tautology checking that has been used to verify railway interlocking software [GKV94, Fok95]. Based on the observation that these systems are hardware like, it has been suggested that this method may have the potential to...
Cited by: More
Using Symbolic CTL Model Checking to Verify the Railway Stations.. - Eisner (Correct)
Using Symbolic Model Checking to Verify the Railway Stations of.. - Eisner (1999) (Correct)
Safety criteria for the vital processor interlocking at.. - Fokkink (1996) (Correct)
Active bibliography (related documents): More All
1.0: Safety Criteria for Hoorn-Kersenboogerd Railway Station - Fokkink (1995) (Correct)
0.4: The Safety Guaranteeing System at Station Hoorn-Kersenboogerd - Groote, van Vlijmen, Koorn (1995) (Correct)
0.4: Verification of Interlockings: from Control Tables to.. - Fokkink, Hollingshead (1998) (Correct)
Similar documents based on text: More All
0.7: EURIS, a Specification Method for Distributed.. - van Dijk.. (1998) (Correct)
0.5: Syntax and Static Semantics of the Interlocking Design .. - Bol, Koorn, Oei, van.. (Correct)
0.4: Applications of Narrowing in the Verification of VPI - van Eijk (Correct)
Related documents from co-citation: More All
5: personal communication to C (context) - Groote
3: The safety guaranteeing system at station Hoorn-Kersenboogerd - Groote, Koorn et al. - 1995
2: Design and Synthesis of Synchronization Skeletons using Branching-Time Temporal .. (context) - Clarke, Emerson - 1981
BibTeX entry: (Update)
Fokkink, W.J. Safety criteria for Hoorn--Kersenboogerd railway station, Logic Group Preprint Series 135, Utrecht University, 1995. Available by ftp from ftp.phil.ruu.nl as logic/PREPRINTS/preprint135.ps.Z. http://citeseer.ist.psu.edu/article/fokkink95safety.html More
@misc{ fokkink95safety,
author = "W. Fokkink",
title = "Safety criteria for Hoorn--Kersenboogerd railway station",
text = "Fokkink, W.J. Safety criteria for Hoorn--Kersenboogerd railway station,
Logic Group Preprint Series 135, Utrecht University, 1995. Available by
ftp from ftp.phil.ruu.nl as logic/PREPRINTS/preprint135.ps.Z.",
year = "1995",
url = "citeseer.ist.psu.edu/article/fokkink95safety.html" }
Citations (may not include all citations):259 A survey of program slicing techniques - Tip - 1991 DBLP
17 Modelling and verifying systems and software in propositiona.. (context) - Stalmarck, Saflund - 1990
13 Normalization theorems for full first order classical natura.. (context) - Stalmarck - 1991 ACM DBLP
13 Hiding propositional constants in BDDs - Groote - 1994
8 A train set as a case study for the requirements analysis of.. (context) - de Lemos, Saeed et al. - 1992 ACM DBLP
5 al logic for ¯CRL. Logic Group Preprint Series (context) - Groote, van Vlijmen et al. - 1994
5 A note on the computational complexity of the pure classical.. (context) - Stalmarck - 1989 ACM DBLP
3 NP Module (context) - Andersson - 1994
Documents on the same site (http://www.phil.uu.nl/preprints.html): More
Binary Decision Diagrams for First Order Predicate Logic - Groote (Correct)
An Axiomatisation of Strong Negation and Relational Composition - Hollenberg (Correct)
A Calculus for Sequential Logic with 4 Values - Bergstra, Pol (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC