Matches in SemOpenAlex for { <https://semopenalex.org/work/W1607153361> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1607153361 abstract "This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the functional correctness of Lotos specifications. Two new tools (named C. OPEN and ANNOTATOR) have been added to the toolbox. The approach taken fits well within the existing architecture of CADP which doesn't need to be altered to enable C program verification." @default.
- W1607153361 created "2016-06-24" @default.
- W1607153361 creator A5004568042 @default.
- W1607153361 creator A5038310179 @default.
- W1607153361 creator A5067813217 @default.
- W1607153361 creator A5070926992 @default.
- W1607153361 date "2007-01-01" @default.
- W1607153361 modified "2023-10-03" @default.
- W1607153361 title "C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs" @default.
- W1607153361 cites W1483422122 @default.
- W1607153361 cites W1535237014 @default.
- W1607153361 cites W1570173655 @default.
- W1607153361 cites W1774864661 @default.
- W1607153361 cites W1964064807 @default.
- W1607153361 cites W1980377655 @default.
- W1607153361 cites W1982254742 @default.
- W1607153361 cites W2137313863 @default.
- W1607153361 cites W2138475270 @default.
- W1607153361 doi "https://doi.org/10.1007/978-3-540-73370-6_18" @default.
- W1607153361 hasPublicationYear "2007" @default.
- W1607153361 type Work @default.
- W1607153361 sameAs 1607153361 @default.
- W1607153361 citedByCount "2" @default.
- W1607153361 countsByYear W16071533612012 @default.
- W1607153361 crossrefType "book-chapter" @default.
- W1607153361 hasAuthorship W1607153361A5004568042 @default.
- W1607153361 hasAuthorship W1607153361A5038310179 @default.
- W1607153361 hasAuthorship W1607153361A5067813217 @default.
- W1607153361 hasAuthorship W1607153361A5070926992 @default.
- W1607153361 hasConcept C110251889 @default.
- W1607153361 hasConcept C111498074 @default.
- W1607153361 hasConcept C111919701 @default.
- W1607153361 hasConcept C115903868 @default.
- W1607153361 hasConcept C123326733 @default.
- W1607153361 hasConcept C177264268 @default.
- W1607153361 hasConcept C199360897 @default.
- W1607153361 hasConcept C2777655017 @default.
- W1607153361 hasConcept C2777904410 @default.
- W1607153361 hasConcept C2781020372 @default.
- W1607153361 hasConcept C41008148 @default.
- W1607153361 hasConcept C55439883 @default.
- W1607153361 hasConceptScore W1607153361C110251889 @default.
- W1607153361 hasConceptScore W1607153361C111498074 @default.
- W1607153361 hasConceptScore W1607153361C111919701 @default.
- W1607153361 hasConceptScore W1607153361C115903868 @default.
- W1607153361 hasConceptScore W1607153361C123326733 @default.
- W1607153361 hasConceptScore W1607153361C177264268 @default.
- W1607153361 hasConceptScore W1607153361C199360897 @default.
- W1607153361 hasConceptScore W1607153361C2777655017 @default.
- W1607153361 hasConceptScore W1607153361C2777904410 @default.
- W1607153361 hasConceptScore W1607153361C2781020372 @default.
- W1607153361 hasConceptScore W1607153361C41008148 @default.
- W1607153361 hasConceptScore W1607153361C55439883 @default.
- W1607153361 hasLocation W16071533611 @default.
- W1607153361 hasOpenAccess W1607153361 @default.
- W1607153361 hasPrimaryLocation W16071533611 @default.
- W1607153361 hasRelatedWork W1583364777 @default.
- W1607153361 hasRelatedWork W1594482512 @default.
- W1607153361 hasRelatedWork W1599995366 @default.
- W1607153361 hasRelatedWork W1607153361 @default.
- W1607153361 hasRelatedWork W1652311832 @default.
- W1607153361 hasRelatedWork W1751458928 @default.
- W1607153361 hasRelatedWork W2151898527 @default.
- W1607153361 hasRelatedWork W2171733626 @default.
- W1607153361 hasRelatedWork W2364866360 @default.
- W1607153361 hasRelatedWork W2583261385 @default.
- W1607153361 isParatext "false" @default.
- W1607153361 isRetracted "false" @default.
- W1607153361 magId "1607153361" @default.
- W1607153361 workType "book-chapter" @default.