Matches in SemOpenAlex for { <https://semopenalex.org/work/W2237989356> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2237989356 abstract "By means of the mu PABX example, the adequacy of temporal logic was demonstrated for the specification and formal verification of industrial reactive systems. The aim of the mu PABX system is to provide services that are issued by phone-users of the mu PABX. In contrast to a real PABX, the mu PABX offers only one type of service to its subscribers: two-party voice calls. Formal verification avoids the deficiencies of testing by proving mathematically that the system behaves according to the specification. For this to be possible, the system behavior must be defined with mathematical precision. The focus is on the formal verification of the mu PABX. It is demonstrated that, if temporal logic is used, the task of proof construction can be 100% automated. An implementation of the mu PABX system is discussed. >" @default.
- W2237989356 created "2016-06-24" @default.
- W2237989356 creator A5050351634 @default.
- W2237989356 creator A5066927237 @default.
- W2237989356 date "2003-01-02" @default.
- W2237989356 modified "2023-09-23" @default.
- W2237989356 title "Formal verifications: an industrial case study" @default.
- W2237989356 cites W1546220007 @default.
- W2237989356 cites W1546948343 @default.
- W2237989356 cites W1547265787 @default.
- W2237989356 cites W1569068921 @default.
- W2237989356 cites W1607877490 @default.
- W2237989356 cites W2086070079 @default.
- W2237989356 cites W2090398333 @default.
- W2237989356 cites W2117189826 @default.
- W2237989356 doi "https://doi.org/10.1109/cmpeur.1992.218507" @default.
- W2237989356 hasPublicationYear "2003" @default.
- W2237989356 type Work @default.
- W2237989356 sameAs 2237989356 @default.
- W2237989356 citedByCount "0" @default.
- W2237989356 crossrefType "proceedings-article" @default.
- W2237989356 hasAuthorship W2237989356A5050351634 @default.
- W2237989356 hasAuthorship W2237989356A5066927237 @default.
- W2237989356 hasConcept C116253237 @default.
- W2237989356 hasConcept C120665830 @default.
- W2237989356 hasConcept C121332964 @default.
- W2237989356 hasConcept C127413603 @default.
- W2237989356 hasConcept C192209626 @default.
- W2237989356 hasConcept C199360897 @default.
- W2237989356 hasConcept C201995342 @default.
- W2237989356 hasConcept C25016198 @default.
- W2237989356 hasConcept C2780451532 @default.
- W2237989356 hasConcept C41008148 @default.
- W2237989356 hasConceptScore W2237989356C116253237 @default.
- W2237989356 hasConceptScore W2237989356C120665830 @default.
- W2237989356 hasConceptScore W2237989356C121332964 @default.
- W2237989356 hasConceptScore W2237989356C127413603 @default.
- W2237989356 hasConceptScore W2237989356C192209626 @default.
- W2237989356 hasConceptScore W2237989356C199360897 @default.
- W2237989356 hasConceptScore W2237989356C201995342 @default.
- W2237989356 hasConceptScore W2237989356C25016198 @default.
- W2237989356 hasConceptScore W2237989356C2780451532 @default.
- W2237989356 hasConceptScore W2237989356C41008148 @default.
- W2237989356 hasLocation W22379893561 @default.
- W2237989356 hasOpenAccess W2237989356 @default.
- W2237989356 hasPrimaryLocation W22379893561 @default.
- W2237989356 hasRelatedWork W1507653811 @default.
- W2237989356 hasRelatedWork W1508581645 @default.
- W2237989356 hasRelatedWork W1512384004 @default.
- W2237989356 hasRelatedWork W1563319185 @default.
- W2237989356 hasRelatedWork W1600897990 @default.
- W2237989356 hasRelatedWork W196270205 @default.
- W2237989356 hasRelatedWork W1983554217 @default.
- W2237989356 hasRelatedWork W1988939102 @default.
- W2237989356 hasRelatedWork W1991518376 @default.
- W2237989356 hasRelatedWork W2022862275 @default.
- W2237989356 hasRelatedWork W2041473616 @default.
- W2237989356 hasRelatedWork W2065846678 @default.
- W2237989356 hasRelatedWork W2111472730 @default.
- W2237989356 hasRelatedWork W2117726127 @default.
- W2237989356 hasRelatedWork W2138124770 @default.
- W2237989356 hasRelatedWork W2146747654 @default.
- W2237989356 hasRelatedWork W2154397030 @default.
- W2237989356 hasRelatedWork W2414083640 @default.
- W2237989356 hasRelatedWork W2546032831 @default.
- W2237989356 hasRelatedWork W3035582350 @default.
- W2237989356 isParatext "false" @default.
- W2237989356 isRetracted "false" @default.
- W2237989356 magId "2237989356" @default.
- W2237989356 workType "article" @default.