Matches in SemOpenAlex for { <https://semopenalex.org/work/W1550905057> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1550905057 endingPage "187" @default.
- W1550905057 startingPage "171" @default.
- W1550905057 abstract "Model checking and theorem proving are two complementary approaches to formal verification. In this paper we show how binary decision diagram (BDD) based symbolic model checking algorithms may be embedded in a theorem prover to take advantage of the comparatively secure environment without incurring an unacceptable performance penalty." @default.
- W1550905057 created "2016-06-24" @default.
- W1550905057 creator A5023790081 @default.
- W1550905057 date "2003-01-01" @default.
- W1550905057 modified "2023-09-23" @default.
- W1550905057 title "Programming a Symbolic Model Checker in a Fully Expansive Theorem Prover" @default.
- W1550905057 cites W121750629 @default.
- W1550905057 cites W1498414460 @default.
- W1550905057 cites W1536007121 @default.
- W1550905057 cites W1552618645 @default.
- W1550905057 cites W1561112849 @default.
- W1550905057 cites W1582986256 @default.
- W1550905057 cites W1659048632 @default.
- W1550905057 cites W1996404651 @default.
- W1550905057 cites W2015640848 @default.
- W1550905057 cites W2030224590 @default.
- W1550905057 cites W2046213250 @default.
- W1550905057 cites W2080593426 @default.
- W1550905057 cites W2093347051 @default.
- W1550905057 cites W2108408848 @default.
- W1550905057 cites W2113251992 @default.
- W1550905057 cites W2134113233 @default.
- W1550905057 cites W4255941558 @default.
- W1550905057 cites W4300021588 @default.
- W1550905057 doi "https://doi.org/10.1007/10930755_11" @default.
- W1550905057 hasPublicationYear "2003" @default.
- W1550905057 type Work @default.
- W1550905057 sameAs 1550905057 @default.
- W1550905057 citedByCount "20" @default.
- W1550905057 countsByYear W15509050572012 @default.
- W1550905057 countsByYear W15509050572015 @default.
- W1550905057 countsByYear W15509050572016 @default.
- W1550905057 countsByYear W15509050572020 @default.
- W1550905057 crossrefType "book-chapter" @default.
- W1550905057 hasAuthorship W1550905057A5023790081 @default.
- W1550905057 hasConcept C108710211 @default.
- W1550905057 hasConcept C110251889 @default.
- W1550905057 hasConcept C13766981 @default.
- W1550905057 hasConcept C159718280 @default.
- W1550905057 hasConcept C159985019 @default.
- W1550905057 hasConcept C192562407 @default.
- W1550905057 hasConcept C199343813 @default.
- W1550905057 hasConcept C199360897 @default.
- W1550905057 hasConcept C206880738 @default.
- W1550905057 hasConcept C23123167 @default.
- W1550905057 hasConcept C2524010 @default.
- W1550905057 hasConcept C2777686260 @default.
- W1550905057 hasConcept C2780502288 @default.
- W1550905057 hasConcept C30407753 @default.
- W1550905057 hasConcept C33923547 @default.
- W1550905057 hasConcept C41008148 @default.
- W1550905057 hasConcept C71924100 @default.
- W1550905057 hasConcept C80444323 @default.
- W1550905057 hasConceptScore W1550905057C108710211 @default.
- W1550905057 hasConceptScore W1550905057C110251889 @default.
- W1550905057 hasConceptScore W1550905057C13766981 @default.
- W1550905057 hasConceptScore W1550905057C159718280 @default.
- W1550905057 hasConceptScore W1550905057C159985019 @default.
- W1550905057 hasConceptScore W1550905057C192562407 @default.
- W1550905057 hasConceptScore W1550905057C199343813 @default.
- W1550905057 hasConceptScore W1550905057C199360897 @default.
- W1550905057 hasConceptScore W1550905057C206880738 @default.
- W1550905057 hasConceptScore W1550905057C23123167 @default.
- W1550905057 hasConceptScore W1550905057C2524010 @default.
- W1550905057 hasConceptScore W1550905057C2777686260 @default.
- W1550905057 hasConceptScore W1550905057C2780502288 @default.
- W1550905057 hasConceptScore W1550905057C30407753 @default.
- W1550905057 hasConceptScore W1550905057C33923547 @default.
- W1550905057 hasConceptScore W1550905057C41008148 @default.
- W1550905057 hasConceptScore W1550905057C71924100 @default.
- W1550905057 hasConceptScore W1550905057C80444323 @default.
- W1550905057 hasLocation W15509050571 @default.
- W1550905057 hasOpenAccess W1550905057 @default.
- W1550905057 hasPrimaryLocation W15509050571 @default.
- W1550905057 hasRelatedWork W1479802113 @default.
- W1550905057 hasRelatedWork W1550905057 @default.
- W1550905057 hasRelatedWork W1551246917 @default.
- W1550905057 hasRelatedWork W1717165987 @default.
- W1550905057 hasRelatedWork W2171429234 @default.
- W1550905057 hasRelatedWork W2950961618 @default.
- W1550905057 hasRelatedWork W4245884879 @default.
- W1550905057 hasRelatedWork W571996087 @default.
- W1550905057 hasRelatedWork W2503169727 @default.
- W1550905057 hasRelatedWork W2787556615 @default.
- W1550905057 isParatext "false" @default.
- W1550905057 isRetracted "false" @default.
- W1550905057 magId "1550905057" @default.
- W1550905057 workType "book-chapter" @default.