Searching for "Safety logics." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

56 documents found, showing 1 through 10. Next 10 →

Compositional Safety Logics
by Jørgen H. Andersen, Kim G. Larsen, J. H. Andersen, K. G. Larsen — 1997
…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
by John Bell, Zhisheng Huang — 1996 — In Proceedings of the 12th European Conference on Artificial Intelligence, 293--297
… 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
by Zhisheng Huang, John Bell — 1996 — In Proceedings of Commonsense '96
… 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
by Kim Björkman, Juho Frits, Janne Valkonen, Jussi Lahtinen, Keijo Heljanko, Jari J. Hämäläinen — Sixth American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies, NPIC&HMIT 2009
…, 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:
by An Application To
…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
by Janne Valkonen, Matti Koskimies, Kim Björkman, Keijo Heljanko, Ilkka Niemelä, Jari J. Hämäläinen, Key Words
… 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.
by Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso — 1997
… 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
by Cimatti Giunchiglia Mongardi, F. Traverso P, Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano — 1997
… reports on an experience in formal verification using spin. The analyzed system is the Safety Logic…
Add To MetaCart

Prototyping Proof Carrying Code
by Martin Wildmoser, Tobias Nipkow, Gerwin Klein, Sebastian Nanz — 2004 — Exploring New Frontiers of Theoretical Informatics
… 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 P. Swaminathan
… by solid state safety logic that works on ‘ two out of three’ logic scheme. The entire safety…
Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB