FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W98565911> ?p ?o ?g. }

• W98565911 abstract "Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region, in which nothing “bad” happens. Equivalently, a property is a safety property if every violation of it occurs after a finite execution of the system. Thus, a computation violates the property if it has a “bad prefix”, all whose extensions violate the property. The theoretical properties of safety properties as well as their practical advantages with respect to general properties have been widely studied. The paper surveys several extensions and variations of safety. We start with bounded and checkable properties – fragments of safety properties that enable an even simpler reasoning. We proceed to a reactive setting, where safety properties require the system to stay in a region of states that is both allowed and from which the environment cannot force it out. Finally, we describe a probability-based approach for defining different levels of safety." @default.
• W98565911 created "2016-06-24" @default.
• W98565911 creator A5077429082 @default.
• W98565911 date "2014-01-01" @default.
• W98565911 modified "2023-09-25" @default.
• W98565911 title "Variations on Safety" @default.
• W98565911 cites W1042385570 @default.
• W98565911 cites W1483744477 @default.
• W98565911 cites W1492901378 @default.
• W98565911 cites W1506588809 @default.
• W98565911 cites W1511206757 @default.
• W98565911 cites W1546220007 @default.
• W98565911 cites W1605190994 @default.
• W98565911 cites W1675507648 @default.
• W98565911 cites W1740522204 @default.
• W98565911 cites W1761635979 @default.
• W98565911 cites W1787074469 @default.
• W98565911 cites W1825341937 @default.
• W98565911 cites W1914433421 @default.
• W98565911 cites W1970603830 @default.
• W98565911 cites W1972203711 @default.
• W98565911 cites W1984478483 @default.
• W98565911 cites W2003227046 @default.
• W98565911 cites W2016206563 @default.
• W98565911 cites W2062458205 @default.
• W98565911 cites W2095620890 @default.
• W98565911 cites W2111578598 @default.
• W98565911 cites W2116593309 @default.
• W98565911 cites W2131064738 @default.
• W98565911 cites W2171826834 @default.
• W98565911 cites W2914206182 @default.
• W98565911 cites W2914665807 @default.
• W98565911 cites W3037762468 @default.
• W98565911 cites W4235934183 @default.
• W98565911 doi "https://doi.org/10.1007/978-3-642-54862-8_1" @default.
• W98565911 hasPublicationYear "2014" @default.
• W98565911 type Work @default.
• W98565911 sameAs 98565911 @default.
• W98565911 citedByCount "0" @default.
• W98565911 crossrefType "book-chapter" @default.
• W98565911 hasAuthorship W98565911A5077429082 @default.
• W98565911 hasBestOaLocation W985659111 @default.
• W98565911 hasConcept C111472728 @default.
• W98565911 hasConcept C111498074 @default.
• W98565911 hasConcept C11413529 @default.
• W98565911 hasConcept C127413603 @default.
• W98565911 hasConcept C132835097 @default.
• W98565911 hasConcept C134306372 @default.
• W98565911 hasConcept C138885662 @default.
• W98565911 hasConcept C141603448 @default.
• W98565911 hasConcept C189950617 @default.
• W98565911 hasConcept C200601418 @default.
• W98565911 hasConcept C33923547 @default.
• W98565911 hasConcept C34388435 @default.
• W98565911 hasConcept C41008148 @default.
• W98565911 hasConcept C41895202 @default.
• W98565911 hasConcept C45374587 @default.
• W98565911 hasConcept C80444323 @default.
• W98565911 hasConceptScore W98565911C111472728 @default.
• W98565911 hasConceptScore W98565911C111498074 @default.
• W98565911 hasConceptScore W98565911C11413529 @default.
• W98565911 hasConceptScore W98565911C127413603 @default.
• W98565911 hasConceptScore W98565911C132835097 @default.
• W98565911 hasConceptScore W98565911C134306372 @default.
• W98565911 hasConceptScore W98565911C138885662 @default.
• W98565911 hasConceptScore W98565911C141603448 @default.
• W98565911 hasConceptScore W98565911C189950617 @default.
• W98565911 hasConceptScore W98565911C200601418 @default.
• W98565911 hasConceptScore W98565911C33923547 @default.
• W98565911 hasConceptScore W98565911C34388435 @default.
• W98565911 hasConceptScore W98565911C41008148 @default.
• W98565911 hasConceptScore W98565911C41895202 @default.
• W98565911 hasConceptScore W98565911C45374587 @default.
• W98565911 hasConceptScore W98565911C80444323 @default.
• W98565911 hasLocation W985659111 @default.
• W98565911 hasOpenAccess W98565911 @default.
• W98565911 hasPrimaryLocation W985659111 @default.
• W98565911 hasRelatedWork W1492901378 @default.
• W98565911 hasRelatedWork W1508099159 @default.
• W98565911 hasRelatedWork W1540883472 @default.
• W98565911 hasRelatedWork W1597903614 @default.
• W98565911 hasRelatedWork W1911866283 @default.
• W98565911 hasRelatedWork W2062720566 @default.
• W98565911 hasRelatedWork W2240079117 @default.
• W98565911 hasRelatedWork W2294537487 @default.
• W98565911 hasRelatedWork W2396257566 @default.
• W98565911 hasRelatedWork W2406456846 @default.
• W98565911 hasRelatedWork W2617161903 @default.
• W98565911 hasRelatedWork W2688386367 @default.
• W98565911 hasRelatedWork W2780733723 @default.
• W98565911 hasRelatedWork W2883923349 @default.
• W98565911 hasRelatedWork W2914450072 @default.
• W98565911 hasRelatedWork W2945603833 @default.
• W98565911 hasRelatedWork W2955281181 @default.
• W98565911 hasRelatedWork W3140992859 @default.
• W98565911 hasRelatedWork W3210578702 @default.
• W98565911 hasRelatedWork W2798313665 @default.
• W98565911 isParatext "false" @default.
• W98565911 isRetracted "false" @default.
• W98565911 magId "98565911" @default.

• next