Matches in SemOpenAlex for { <https://semopenalex.org/work/W1524841331> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1524841331 endingPage "373" @default.
- W1524841331 startingPage "355" @default.
- W1524841331 abstract "AbstractIn this paper, we present an approach to the interactive verification of statecharts. We use STATEMATE statecharts for the formal specification of safety critical systems and Interval Temporal Logic to formalize the proof conditions. To handle infinite data, complex functions and predicates, we use algebraic specifications.Our verification approach is a basis for the aim of the project ForMoSA to put safety analysis techniques on formal grounds. As part of this approach, fault tree analysis (FTA) has been formalized yielding conditions that can be verified using the calculus defined in this paper. Verification conditions resulting from the formal FTA of the radio-based level crossing control have been successfully verified.KeywordsTemporal LogicSequential ProgramSequent CalculusDynamic LogicSymbolic ExecutionThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1524841331 created "2016-06-24" @default.
- W1524841331 creator A5020041058 @default.
- W1524841331 creator A5022743752 @default.
- W1524841331 creator A5035884631 @default.
- W1524841331 creator A5052191541 @default.
- W1524841331 date "2004-01-01" @default.
- W1524841331 modified "2023-09-25" @default.
- W1524841331 title "Interactive Verification of Statecharts" @default.
- W1524841331 cites W1571268527 @default.
- W1524841331 cites W1748251377 @default.
- W1524841331 cites W2009570820 @default.
- W1524841331 cites W2038569232 @default.
- W1524841331 cites W2096039823 @default.
- W1524841331 cites W2129395888 @default.
- W1524841331 cites W2141706812 @default.
- W1524841331 doi "https://doi.org/10.1007/978-3-540-27863-4_20" @default.
- W1524841331 hasPublicationYear "2004" @default.
- W1524841331 type Work @default.
- W1524841331 sameAs 1524841331 @default.
- W1524841331 citedByCount "30" @default.
- W1524841331 countsByYear W15248413312012 @default.
- W1524841331 countsByYear W15248413312013 @default.
- W1524841331 countsByYear W15248413312014 @default.
- W1524841331 countsByYear W15248413312015 @default.
- W1524841331 countsByYear W15248413312016 @default.
- W1524841331 crossrefType "book-chapter" @default.
- W1524841331 hasAuthorship W1524841331A5020041058 @default.
- W1524841331 hasAuthorship W1524841331A5022743752 @default.
- W1524841331 hasAuthorship W1524841331A5035884631 @default.
- W1524841331 hasAuthorship W1524841331A5052191541 @default.
- W1524841331 hasBestOaLocation W15248413312 @default.
- W1524841331 hasConcept C107094494 @default.
- W1524841331 hasConcept C110251889 @default.
- W1524841331 hasConcept C111498074 @default.
- W1524841331 hasConcept C127413603 @default.
- W1524841331 hasConcept C161771561 @default.
- W1524841331 hasConcept C198008173 @default.
- W1524841331 hasConcept C199360897 @default.
- W1524841331 hasConcept C200601418 @default.
- W1524841331 hasConcept C202973057 @default.
- W1524841331 hasConcept C25016198 @default.
- W1524841331 hasConcept C41008148 @default.
- W1524841331 hasConcept C75606506 @default.
- W1524841331 hasConcept C80444323 @default.
- W1524841331 hasConcept C98045186 @default.
- W1524841331 hasConceptScore W1524841331C107094494 @default.
- W1524841331 hasConceptScore W1524841331C110251889 @default.
- W1524841331 hasConceptScore W1524841331C111498074 @default.
- W1524841331 hasConceptScore W1524841331C127413603 @default.
- W1524841331 hasConceptScore W1524841331C161771561 @default.
- W1524841331 hasConceptScore W1524841331C198008173 @default.
- W1524841331 hasConceptScore W1524841331C199360897 @default.
- W1524841331 hasConceptScore W1524841331C200601418 @default.
- W1524841331 hasConceptScore W1524841331C202973057 @default.
- W1524841331 hasConceptScore W1524841331C25016198 @default.
- W1524841331 hasConceptScore W1524841331C41008148 @default.
- W1524841331 hasConceptScore W1524841331C75606506 @default.
- W1524841331 hasConceptScore W1524841331C80444323 @default.
- W1524841331 hasConceptScore W1524841331C98045186 @default.
- W1524841331 hasLocation W15248413311 @default.
- W1524841331 hasLocation W15248413312 @default.
- W1524841331 hasOpenAccess W1524841331 @default.
- W1524841331 hasPrimaryLocation W15248413311 @default.
- W1524841331 hasRelatedWork W1503969427 @default.
- W1524841331 hasRelatedWork W1524841331 @default.
- W1524841331 hasRelatedWork W1539649080 @default.
- W1524841331 hasRelatedWork W1542369348 @default.
- W1524841331 hasRelatedWork W1592970915 @default.
- W1524841331 hasRelatedWork W1980063566 @default.
- W1524841331 hasRelatedWork W1991633005 @default.
- W1524841331 hasRelatedWork W2105544244 @default.
- W1524841331 hasRelatedWork W2128218709 @default.
- W1524841331 hasRelatedWork W2333948626 @default.
- W1524841331 isParatext "false" @default.
- W1524841331 isRetracted "false" @default.
- W1524841331 magId "1524841331" @default.
- W1524841331 workType "book-chapter" @default.