Matches in SemOpenAlex for { <https://semopenalex.org/work/W15721828> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W15721828 abstract "We present the technique that allows splitting first-order logic formulae into parts which helps to use the special algorithms of satisfiability checking and predicate transformer, which are the specializations. We describe the mathematical description of the algorithm of the constructing specializations. We prove the correctness of satisfiability and predicate transformer functions. We consider forward and backward applicability of basic protocols during symbolic modeling and verification. We introduce the examples for each specialization. We provide the experiments with typical real examples." @default.
- W15721828 created "2016-06-24" @default.
- W15721828 creator A5031629499 @default.
- W15721828 creator A5031724374 @default.
- W15721828 creator A5054705732 @default.
- W15721828 date "2013-01-01" @default.
- W15721828 modified "2023-09-23" @default.
- W15721828 title "Specializations in Symbolic Verification" @default.
- W15721828 cites W137579002 @default.
- W15721828 cites W1480909796 @default.
- W15721828 cites W1488686801 @default.
- W15721828 cites W1515175581 @default.
- W15721828 cites W1515278398 @default.
- W15721828 cites W1534716074 @default.
- W15721828 cites W1586027468 @default.
- W15721828 cites W1589982562 @default.
- W15721828 cites W1592502301 @default.
- W15721828 cites W1599710431 @default.
- W15721828 cites W1775468415 @default.
- W15721828 cites W2020229627 @default.
- W15721828 cites W2035273482 @default.
- W15721828 cites W2125967324 @default.
- W15721828 cites W2950680102 @default.
- W15721828 cites W4246691913 @default.
- W15721828 cites W4253178675 @default.
- W15721828 cites W643641832 @default.
- W15721828 doi "https://doi.org/10.1007/978-3-319-03998-5_17" @default.
- W15721828 hasPublicationYear "2013" @default.
- W15721828 type Work @default.
- W15721828 sameAs 15721828 @default.
- W15721828 citedByCount "1" @default.
- W15721828 countsByYear W157218282015 @default.
- W15721828 crossrefType "book-chapter" @default.
- W15721828 hasAuthorship W15721828A5031629499 @default.
- W15721828 hasAuthorship W15721828A5031724374 @default.
- W15721828 hasAuthorship W15721828A5054705732 @default.
- W15721828 hasConcept C100481476 @default.
- W15721828 hasConcept C110251889 @default.
- W15721828 hasConcept C11413529 @default.
- W15721828 hasConcept C140146324 @default.
- W15721828 hasConcept C168773769 @default.
- W15721828 hasConcept C199360897 @default.
- W15721828 hasConcept C2779907942 @default.
- W15721828 hasConcept C41008148 @default.
- W15721828 hasConcept C55439883 @default.
- W15721828 hasConcept C80444323 @default.
- W15721828 hasConceptScore W15721828C100481476 @default.
- W15721828 hasConceptScore W15721828C110251889 @default.
- W15721828 hasConceptScore W15721828C11413529 @default.
- W15721828 hasConceptScore W15721828C140146324 @default.
- W15721828 hasConceptScore W15721828C168773769 @default.
- W15721828 hasConceptScore W15721828C199360897 @default.
- W15721828 hasConceptScore W15721828C2779907942 @default.
- W15721828 hasConceptScore W15721828C41008148 @default.
- W15721828 hasConceptScore W15721828C55439883 @default.
- W15721828 hasConceptScore W15721828C80444323 @default.
- W15721828 hasLocation W157218281 @default.
- W15721828 hasOpenAccess W15721828 @default.
- W15721828 hasPrimaryLocation W157218281 @default.
- W15721828 hasRelatedWork W1427083445 @default.
- W15721828 hasRelatedWork W1544043550 @default.
- W15721828 hasRelatedWork W1570988641 @default.
- W15721828 hasRelatedWork W1605476801 @default.
- W15721828 hasRelatedWork W191704464 @default.
- W15721828 hasRelatedWork W1974693823 @default.
- W15721828 hasRelatedWork W1980688815 @default.
- W15721828 hasRelatedWork W2045163506 @default.
- W15721828 hasRelatedWork W2060369194 @default.
- W15721828 hasRelatedWork W2083344324 @default.
- W15721828 hasRelatedWork W2114095738 @default.
- W15721828 hasRelatedWork W2149515428 @default.
- W15721828 hasRelatedWork W2951800949 @default.
- W15721828 hasRelatedWork W2998230458 @default.
- W15721828 hasRelatedWork W3043358392 @default.
- W15721828 hasRelatedWork W3049031068 @default.
- W15721828 hasRelatedWork W309191975 @default.
- W15721828 hasRelatedWork W3183673898 @default.
- W15721828 hasRelatedWork W835822321 @default.
- W15721828 hasRelatedWork W2208212153 @default.
- W15721828 isParatext "false" @default.
- W15721828 isRetracted "false" @default.
- W15721828 magId "15721828" @default.
- W15721828 workType "book-chapter" @default.