FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2161157125> ?p ?o ?g. }

• W2161157125 endingPage "92" @default.
• W2161157125 startingPage "84" @default.
• W2161157125 abstract "This paper presents a conceptual architecture for an object-oriented framework to support the development of formal verification tools (i.e. model checkers). The objective of the architecture is to support the reuse of algorithms and to encourage a modular design of tools. The conceptual framework is accompanied by a C++ implementation which provides reusable algorithms for the simulation and verification of explicit-state models as well as a model representation for simple models based on guard-based process descriptions. The framework has been successfully used to develop a model checker for a subset of PROMELA." @default.
• W2161157125 created "2016-06-24" @default.
• W2161157125 creator A5001195994 @default.
• W2161157125 creator A5045219123 @default.
• W2161157125 creator A5057448102 @default.
• W2161157125 date "2007-03-23" @default.
• W2161157125 modified "2023-09-22" @default.
• W2161157125 title "An Object-Oriented Framework for Explicit-State Model Checking" @default.
• W2161157125 cites W1497489765 @default.
• W2161157125 cites W1503170978 @default.
• W2161157125 cites W1507985299 @default.
• W2161157125 cites W1539432158 @default.
• W2161157125 cites W1559035930 @default.
• W2161157125 cites W1572578464 @default.
• W2161157125 cites W1582964729 @default.
• W2161157125 cites W1590256171 @default.
• W2161157125 cites W1607424833 @default.
• W2161157125 cites W171025713 @default.
• W2161157125 cites W1943502734 @default.
• W2161157125 cites W1962072139 @default.
• W2161157125 cites W1977553951 @default.
• W2161157125 cites W2023392692 @default.
• W2161157125 cites W2061438988 @default.
• W2161157125 cites W2150013594 @default.
• W2161157125 cites W2161833190 @default.
• W2161157125 cites W2655760278 @default.
• W2161157125 cites W2743332873 @default.
• W2161157125 cites W2762210817 @default.
• W2161157125 hasPublicationYear "2007" @default.
• W2161157125 type Work @default.
• W2161157125 sameAs 2161157125 @default.
• W2161157125 citedByCount "0" @default.
• W2161157125 crossrefType "journal-article" @default.
• W2161157125 hasAuthorship W2161157125A5001195994 @default.
• W2161157125 hasAuthorship W2161157125A5045219123 @default.
• W2161157125 hasAuthorship W2161157125A5057448102 @default.
• W2161157125 hasConcept C101468663 @default.
• W2161157125 hasConcept C110251889 @default.
• W2161157125 hasConcept C115903868 @default.
• W2161157125 hasConcept C123657996 @default.
• W2161157125 hasConcept C127413603 @default.
• W2161157125 hasConcept C13606891 @default.
• W2161157125 hasConcept C142362112 @default.
• W2161157125 hasConcept C145644426 @default.
• W2161157125 hasConcept C153349607 @default.
• W2161157125 hasConcept C17744445 @default.
• W2161157125 hasConcept C199360897 @default.
• W2161157125 hasConcept C199539241 @default.
• W2161157125 hasConcept C206588197 @default.
• W2161157125 hasConcept C2776329536 @default.
• W2161157125 hasConcept C2776359362 @default.
• W2161157125 hasConcept C2777904410 @default.
• W2161157125 hasConcept C41008148 @default.
• W2161157125 hasConcept C548081761 @default.
• W2161157125 hasConcept C77088390 @default.
• W2161157125 hasConcept C80444323 @default.
• W2161157125 hasConcept C94625758 @default.
• W2161157125 hasConcept C98045186 @default.
• W2161157125 hasConceptScore W2161157125C101468663 @default.
• W2161157125 hasConceptScore W2161157125C110251889 @default.
• W2161157125 hasConceptScore W2161157125C115903868 @default.
• W2161157125 hasConceptScore W2161157125C123657996 @default.
• W2161157125 hasConceptScore W2161157125C127413603 @default.
• W2161157125 hasConceptScore W2161157125C13606891 @default.
• W2161157125 hasConceptScore W2161157125C142362112 @default.
• W2161157125 hasConceptScore W2161157125C145644426 @default.
• W2161157125 hasConceptScore W2161157125C153349607 @default.
• W2161157125 hasConceptScore W2161157125C17744445 @default.
• W2161157125 hasConceptScore W2161157125C199360897 @default.
• W2161157125 hasConceptScore W2161157125C199539241 @default.
• W2161157125 hasConceptScore W2161157125C206588197 @default.
• W2161157125 hasConceptScore W2161157125C2776329536 @default.
• W2161157125 hasConceptScore W2161157125C2776359362 @default.
• W2161157125 hasConceptScore W2161157125C2777904410 @default.
• W2161157125 hasConceptScore W2161157125C41008148 @default.
• W2161157125 hasConceptScore W2161157125C548081761 @default.
• W2161157125 hasConceptScore W2161157125C77088390 @default.
• W2161157125 hasConceptScore W2161157125C80444323 @default.
• W2161157125 hasConceptScore W2161157125C94625758 @default.
• W2161157125 hasConceptScore W2161157125C98045186 @default.
• W2161157125 hasLocation W21611571251 @default.
• W2161157125 hasOpenAccess W2161157125 @default.
• W2161157125 hasPrimaryLocation W21611571251 @default.
• W2161157125 hasRelatedWork W1510748490 @default.
• W2161157125 hasRelatedWork W1565711716 @default.
• W2161157125 hasRelatedWork W1902285533 @default.
• W2161157125 hasRelatedWork W1955827864 @default.
• W2161157125 hasRelatedWork W1965171366 @default.
• W2161157125 hasRelatedWork W1976111119 @default.
• W2161157125 hasRelatedWork W1987612454 @default.
• W2161157125 hasRelatedWork W2039080581 @default.
• W2161157125 hasRelatedWork W2062371854 @default.
• W2161157125 hasRelatedWork W2063318133 @default.
• W2161157125 hasRelatedWork W2070250887 @default.
• W2161157125 hasRelatedWork W2096370872 @default.
• W2161157125 hasRelatedWork W2100298788 @default.
• W2161157125 hasRelatedWork W2111853753 @default.
• W2161157125 hasRelatedWork W2122149060 @default.

• next