Matches in SemOpenAlex for { <https://semopenalex.org/work/W1542807718> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1542807718 endingPage "56" @default.
- W1542807718 startingPage "49" @default.
- W1542807718 abstract "Symbolic model checking is a very successful formal verification technique, classically based on Binary Decision Diagrams (BDDs). Recently, propositional satisfiability (SAT) techniques have been proposed as a computational basis for symbolic model checking, and proved to be an effective alternative to BDD-based techniques. In this paper we show how BDD-based and SAT-based techniques have been effectively integrated within the NuSMV symbolic model checker." @default.
- W1542807718 created "2016-06-24" @default.
- W1542807718 creator A5004609930 @default.
- W1542807718 creator A5017426974 @default.
- W1542807718 creator A5036876399 @default.
- W1542807718 creator A5053862435 @default.
- W1542807718 creator A5067087113 @default.
- W1542807718 creator A5088301538 @default.
- W1542807718 date "2002-01-01" @default.
- W1542807718 modified "2023-09-25" @default.
- W1542807718 title "Integrating BDD-Based and SAT-Based Symbolic Model Checking" @default.
- W1542807718 cites W1483370895 @default.
- W1542807718 cites W1490969264 @default.
- W1542807718 cites W1494481937 @default.
- W1542807718 cites W1574030932 @default.
- W1542807718 cites W1593428110 @default.
- W1542807718 cites W1594518690 @default.
- W1542807718 cites W1822257500 @default.
- W1542807718 cites W2024148935 @default.
- W1542807718 cites W2030224590 @default.
- W1542807718 cites W2061438988 @default.
- W1542807718 cites W2100404896 @default.
- W1542807718 cites W2115309705 @default.
- W1542807718 cites W2142785340 @default.
- W1542807718 cites W2471308051 @default.
- W1542807718 cites W4231640108 @default.
- W1542807718 cites W4300021588 @default.
- W1542807718 doi "https://doi.org/10.1007/3-540-45988-x_5" @default.
- W1542807718 hasPublicationYear "2002" @default.
- W1542807718 type Work @default.
- W1542807718 sameAs 1542807718 @default.
- W1542807718 citedByCount "23" @default.
- W1542807718 countsByYear W15428077182013 @default.
- W1542807718 countsByYear W15428077182014 @default.
- W1542807718 countsByYear W15428077182015 @default.
- W1542807718 countsByYear W15428077182017 @default.
- W1542807718 crossrefType "book-chapter" @default.
- W1542807718 hasAuthorship W1542807718A5004609930 @default.
- W1542807718 hasAuthorship W1542807718A5017426974 @default.
- W1542807718 hasAuthorship W1542807718A5036876399 @default.
- W1542807718 hasAuthorship W1542807718A5053862435 @default.
- W1542807718 hasAuthorship W1542807718A5067087113 @default.
- W1542807718 hasAuthorship W1542807718A5088301538 @default.
- W1542807718 hasBestOaLocation W15428077182 @default.
- W1542807718 hasConcept C110251889 @default.
- W1542807718 hasConcept C199360897 @default.
- W1542807718 hasConcept C23123167 @default.
- W1542807718 hasConcept C41008148 @default.
- W1542807718 hasConceptScore W1542807718C110251889 @default.
- W1542807718 hasConceptScore W1542807718C199360897 @default.
- W1542807718 hasConceptScore W1542807718C23123167 @default.
- W1542807718 hasConceptScore W1542807718C41008148 @default.
- W1542807718 hasLocation W15428077181 @default.
- W1542807718 hasLocation W15428077182 @default.
- W1542807718 hasOpenAccess W1542807718 @default.
- W1542807718 hasPrimaryLocation W15428077181 @default.
- W1542807718 hasRelatedWork W1583364777 @default.
- W1542807718 hasRelatedWork W169955824 @default.
- W1542807718 hasRelatedWork W1978951759 @default.
- W1542807718 hasRelatedWork W2047694629 @default.
- W1542807718 hasRelatedWork W2066746166 @default.
- W1542807718 hasRelatedWork W2151898527 @default.
- W1542807718 hasRelatedWork W2945457622 @default.
- W1542807718 hasRelatedWork W47563837 @default.
- W1542807718 hasRelatedWork W1894736207 @default.
- W1542807718 hasRelatedWork W2583261385 @default.
- W1542807718 isParatext "false" @default.
- W1542807718 isRetracted "false" @default.
- W1542807718 magId "1542807718" @default.
- W1542807718 workType "book-chapter" @default.