Matches in SemOpenAlex for { <https://semopenalex.org/work/W2016153544> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W2016153544 endingPage "99" @default.
- W2016153544 startingPage "92" @default.
- W2016153544 abstract "The CIL-approach for the development of communication services is based on the programming language CIL (Communication Service Implementation Language) and a CIL-compatible theory of program execution. The theory contains a first-order predicate calculus and an event-oriented model of program execution. The verification of programs written in CIL is supported by the automated generation of program axioms and by an interactive theorem prover tailored to the predicate calculus. Interactive verification during the design phase leads to early detection and localization of design errors and helps to reduce the efforts for debugging and testing. The paper describes the principles of the language, the theory, and the interactive verification tool. The design of a program realizing a transport service exemplifies the CIL-approach." @default.
- W2016153544 created "2016-06-24" @default.
- W2016153544 creator A5014447591 @default.
- W2016153544 creator A5038551253 @default.
- W2016153544 date "1984-06-01" @default.
- W2016153544 modified "2023-10-18" @default.
- W2016153544 title "Interactive verification of communication software on the basis of CIL" @default.
- W2016153544 cites W1970045008 @default.
- W2016153544 cites W2073544767 @default.
- W2016153544 cites W2166780994 @default.
- W2016153544 doi "https://doi.org/10.1145/639624.802065" @default.
- W2016153544 hasPublicationYear "1984" @default.
- W2016153544 type Work @default.
- W2016153544 sameAs 2016153544 @default.
- W2016153544 citedByCount "4" @default.
- W2016153544 crossrefType "journal-article" @default.
- W2016153544 hasAuthorship W2016153544A5014447591 @default.
- W2016153544 hasAuthorship W2016153544A5038551253 @default.
- W2016153544 hasBestOaLocation W20161535441 @default.
- W2016153544 hasConcept C100481476 @default.
- W2016153544 hasConcept C115903868 @default.
- W2016153544 hasConcept C140146324 @default.
- W2016153544 hasConcept C167729594 @default.
- W2016153544 hasConcept C168065819 @default.
- W2016153544 hasConcept C199360897 @default.
- W2016153544 hasConcept C206880738 @default.
- W2016153544 hasConcept C2524010 @default.
- W2016153544 hasConcept C33923547 @default.
- W2016153544 hasConcept C41008148 @default.
- W2016153544 hasConceptScore W2016153544C100481476 @default.
- W2016153544 hasConceptScore W2016153544C115903868 @default.
- W2016153544 hasConceptScore W2016153544C140146324 @default.
- W2016153544 hasConceptScore W2016153544C167729594 @default.
- W2016153544 hasConceptScore W2016153544C168065819 @default.
- W2016153544 hasConceptScore W2016153544C199360897 @default.
- W2016153544 hasConceptScore W2016153544C206880738 @default.
- W2016153544 hasConceptScore W2016153544C2524010 @default.
- W2016153544 hasConceptScore W2016153544C33923547 @default.
- W2016153544 hasConceptScore W2016153544C41008148 @default.
- W2016153544 hasIssue "2" @default.
- W2016153544 hasLocation W20161535441 @default.
- W2016153544 hasOpenAccess W2016153544 @default.
- W2016153544 hasPrimaryLocation W20161535441 @default.
- W2016153544 hasRelatedWork W1498982577 @default.
- W2016153544 hasRelatedWork W1524529089 @default.
- W2016153544 hasRelatedWork W1524884472 @default.
- W2016153544 hasRelatedWork W1530441764 @default.
- W2016153544 hasRelatedWork W1587224678 @default.
- W2016153544 hasRelatedWork W1601811574 @default.
- W2016153544 hasRelatedWork W1966048066 @default.
- W2016153544 hasRelatedWork W2073268071 @default.
- W2016153544 hasRelatedWork W2122586059 @default.
- W2016153544 hasRelatedWork W2146306932 @default.
- W2016153544 hasVolume "14" @default.
- W2016153544 isParatext "false" @default.
- W2016153544 isRetracted "false" @default.
- W2016153544 magId "2016153544" @default.
- W2016153544 workType "article" @default.