Matches in SemOpenAlex for { <https://semopenalex.org/work/W2486634540> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2486634540 endingPage "1043" @default.
- W2486634540 startingPage "1035" @default.
- W2486634540 abstract "To formally verify the real-time system using model checking technique, two necessary elements are required, the real-time system model and its expected real-time properties. In order to specify these real-time properties, an appropriate extended logic system, to cope with quantitative of time constraints is needed. We select one of the most popular real-time logic systems, called Metric Temporal Logic (MTL) to specify our mentioned real-time properties. However, the real-time properties defined in MTL are still not relevant to SPIN model checker. In this paper, we propose a novel scheme to translate the basic MTL formulas into Promela and LTL formulas as to be relevantly used in SPIN, in terms of Promela’s inline definitions and macro commands. The punctuality of the formulas is preserved during the translation. Practically, the basic timing constraints eventually and always operators of MTL are focused, and the translation of MTL formulas of the real-time safety property patterns is demonstrated." @default.
- W2486634540 created "2016-08-23" @default.
- W2486634540 creator A5034800773 @default.
- W2486634540 creator A5085328736 @default.
- W2486634540 creator A5088903111 @default.
- W2486634540 date "2016-01-01" @default.
- W2486634540 modified "2023-10-17" @default.
- W2486634540 title "Translating Basic Metric Temporal Logic Formulas into Promela" @default.
- W2486634540 cites W1482233117 @default.
- W2486634540 cites W1494039461 @default.
- W2486634540 cites W1498203978 @default.
- W2486634540 cites W1542921761 @default.
- W2486634540 cites W1560050980 @default.
- W2486634540 cites W1601693417 @default.
- W2486634540 cites W1799344754 @default.
- W2486634540 cites W1835119762 @default.
- W2486634540 cites W1862182621 @default.
- W2486634540 cites W1988422114 @default.
- W2486634540 cites W2014100935 @default.
- W2486634540 cites W2026629052 @default.
- W2486634540 cites W2030263557 @default.
- W2486634540 cites W2048178754 @default.
- W2486634540 cites W2093045165 @default.
- W2486634540 cites W2126509366 @default.
- W2486634540 doi "https://doi.org/10.1007/978-981-10-0557-2_99" @default.
- W2486634540 hasPublicationYear "2016" @default.
- W2486634540 type Work @default.
- W2486634540 sameAs 2486634540 @default.
- W2486634540 citedByCount "1" @default.
- W2486634540 countsByYear W24866345402019 @default.
- W2486634540 crossrefType "book-chapter" @default.
- W2486634540 hasAuthorship W2486634540A5034800773 @default.
- W2486634540 hasAuthorship W2486634540A5085328736 @default.
- W2486634540 hasAuthorship W2486634540A5088903111 @default.
- W2486634540 hasConcept C104317684 @default.
- W2486634540 hasConcept C105580179 @default.
- W2486634540 hasConcept C110251889 @default.
- W2486634540 hasConcept C11413529 @default.
- W2486634540 hasConcept C118615104 @default.
- W2486634540 hasConcept C127413603 @default.
- W2486634540 hasConcept C149364088 @default.
- W2486634540 hasConcept C176217482 @default.
- W2486634540 hasConcept C185592680 @default.
- W2486634540 hasConcept C198008173 @default.
- W2486634540 hasConcept C199360897 @default.
- W2486634540 hasConcept C21547014 @default.
- W2486634540 hasConcept C25016198 @default.
- W2486634540 hasConcept C2776329536 @default.
- W2486634540 hasConcept C2779548549 @default.
- W2486634540 hasConcept C33923547 @default.
- W2486634540 hasConcept C41008148 @default.
- W2486634540 hasConcept C4777664 @default.
- W2486634540 hasConcept C55493867 @default.
- W2486634540 hasConcept C80444323 @default.
- W2486634540 hasConceptScore W2486634540C104317684 @default.
- W2486634540 hasConceptScore W2486634540C105580179 @default.
- W2486634540 hasConceptScore W2486634540C110251889 @default.
- W2486634540 hasConceptScore W2486634540C11413529 @default.
- W2486634540 hasConceptScore W2486634540C118615104 @default.
- W2486634540 hasConceptScore W2486634540C127413603 @default.
- W2486634540 hasConceptScore W2486634540C149364088 @default.
- W2486634540 hasConceptScore W2486634540C176217482 @default.
- W2486634540 hasConceptScore W2486634540C185592680 @default.
- W2486634540 hasConceptScore W2486634540C198008173 @default.
- W2486634540 hasConceptScore W2486634540C199360897 @default.
- W2486634540 hasConceptScore W2486634540C21547014 @default.
- W2486634540 hasConceptScore W2486634540C25016198 @default.
- W2486634540 hasConceptScore W2486634540C2776329536 @default.
- W2486634540 hasConceptScore W2486634540C2779548549 @default.
- W2486634540 hasConceptScore W2486634540C33923547 @default.
- W2486634540 hasConceptScore W2486634540C41008148 @default.
- W2486634540 hasConceptScore W2486634540C4777664 @default.
- W2486634540 hasConceptScore W2486634540C55493867 @default.
- W2486634540 hasConceptScore W2486634540C80444323 @default.
- W2486634540 hasLocation W24866345401 @default.
- W2486634540 hasOpenAccess W2486634540 @default.
- W2486634540 hasPrimaryLocation W24866345401 @default.
- W2486634540 hasRelatedWork W1031601050 @default.
- W2486634540 hasRelatedWork W2103740034 @default.
- W2486634540 hasRelatedWork W2119610731 @default.
- W2486634540 hasRelatedWork W2159970028 @default.
- W2486634540 hasRelatedWork W2369906140 @default.
- W2486634540 hasRelatedWork W2486634540 @default.
- W2486634540 hasRelatedWork W2741430969 @default.
- W2486634540 hasRelatedWork W2931443989 @default.
- W2486634540 hasRelatedWork W2995068468 @default.
- W2486634540 hasRelatedWork W3005864166 @default.
- W2486634540 isParatext "false" @default.
- W2486634540 isRetracted "false" @default.
- W2486634540 magId "2486634540" @default.
- W2486634540 workType "book-chapter" @default.