Searching for "Safety logics." – sorted by Relevance.
-
Compositional Safety Logics
- BRICS RS-97-13 Andersen & Larsen: Compositional Safety Logics BRICS Basic Research in Computer
- Cited by 2 (0 self) – Add To MetaCart
-
Safety logics II: Normative safety
- Safety Logics II: Normative Safety John Bell and Zhisheng Huang 1 Abstract. In this paper we
- Cited by 1 (0 self) – Add To MetaCart
-
Safety logics I: Absolute safety
- Safety Logics I: Absolute Safety Zhisheng Huang and John Bell* Applied Logic Group Department
- Cited by 1 (0 self) – Add To MetaCart
-
Hämäläinen: Verification of Safety Logic Designs by Model Checking
- , on CD-ROM, American Nuclear Society, LaGrange Park, IL (2009) VERIFICATION OF SAFETY LOGIC DESIGNS
- Cited by 1 (1 self) – Add To MetaCart
-
Model Checking Safety Critical Software with SPIN:
- This paper reports on an experience in formal verification using spin.The analyzed system is the Safety Logic of an interlocking system for the control of railway stations developed by Ansaldo. The Safety Logic is a process-based software architecture, which can be configured to implement differe
- Add To MetaCart
-
Hotelli Crowne Plaza, Helsinki, Suomen Automaatioseura, 2009. Formal Verification of Safety
- Automaatioseura, 2009. Formal Verification of Safety Automation Logic Designs Janne Valkonen 1 , Matti Koskimies 2
- Add To MetaCart
-
Model Checking Safety Critical Software with SPIN: an Application to a Railway Interlocking System.
- in formal verification using spin. The analyzed system is the Safety Logic of an interlocking system
- Cited by 13 (3 self) – Add To MetaCart
-
Model Checking Safety Critical Software with SPIN: an Application to a Railway Interlocking System
- reports on an experience in formal verification using spin. The analyzed system is the Safety Logic
- Add To MetaCart
-
Prototyping Proof Carrying Code
- assumptions on the underlying programming language, safety policy, and safety logic. We demonstrate its
- Cited by 8 (2 self) – Add To MetaCart
-
Computer based on-line monitoring system for Fast Breeder Test Reactor, India.
- by solid state safety logic that works on ‘ two out of three’ logic scheme. The entire safety
- Add To MetaCart

