Matches in SemOpenAlex for { <https://semopenalex.org/work/W91835307> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W91835307 abstract "In this paper, we provide all the necessary infrastructure to define a high level states exploration approach within the HOL theorem prover. While related work has tackled the same problem by representing primitive BDD operations as inference rules added to the core of the theorem prover, we have based our approach on the Multiway Decision Graphs (MDGs). We define canonic MDGs as well-formed directed formulae in HOL. Then, we formalize the basic MDG operations following a deep embedding approach and we derive the correctness proof for each operation. Finally, the high level reachability analysis is implemented as a tactic that uses our MDG theory within HOL." @default.
- W91835307 created "2016-06-24" @default.
- W91835307 creator A5010015399 @default.
- W91835307 creator A5032928854 @default.
- W91835307 creator A5041607429 @default.
- W91835307 creator A5053832606 @default.
- W91835307 creator A5081184867 @default.
- W91835307 date "2007-01-01" @default.
- W91835307 modified "2023-10-14" @default.
- W91835307 title "Theorem Proving in Higher Order Logics and Applications -- Emerging Trends" @default.
- W91835307 cites W136196610 @default.
- W91835307 cites W1491898617 @default.
- W91835307 cites W156128023 @default.
- W91835307 cites W1578978955 @default.
- W91835307 cites W1586167239 @default.
- W91835307 cites W1756661417 @default.
- W91835307 cites W2056010911 @default.
- W91835307 cites W2086127849 @default.
- W91835307 cites W2101154476 @default.
- W91835307 cites W2137343774 @default.
- W91835307 cites W2146306932 @default.
- W91835307 cites W2156876717 @default.
- W91835307 cites W2266495847 @default.
- W91835307 cites W2912384871 @default.
- W91835307 cites W29273864 @default.
- W91835307 cites W2787754425 @default.
- W91835307 hasPublicationYear "2007" @default.
- W91835307 type Work @default.
- W91835307 sameAs 91835307 @default.
- W91835307 citedByCount "0" @default.
- W91835307 crossrefType "journal-article" @default.
- W91835307 hasAuthorship W91835307A5010015399 @default.
- W91835307 hasAuthorship W91835307A5032928854 @default.
- W91835307 hasAuthorship W91835307A5041607429 @default.
- W91835307 hasAuthorship W91835307A5053832606 @default.
- W91835307 hasAuthorship W91835307A5081184867 @default.
- W91835307 hasConcept C136643341 @default.
- W91835307 hasConcept C154945302 @default.
- W91835307 hasConcept C17435882 @default.
- W91835307 hasConcept C199360897 @default.
- W91835307 hasConcept C206880738 @default.
- W91835307 hasConcept C2164484 @default.
- W91835307 hasConcept C33923547 @default.
- W91835307 hasConcept C41008148 @default.
- W91835307 hasConcept C41608201 @default.
- W91835307 hasConcept C55439883 @default.
- W91835307 hasConcept C76155785 @default.
- W91835307 hasConcept C80444323 @default.
- W91835307 hasConceptScore W91835307C136643341 @default.
- W91835307 hasConceptScore W91835307C154945302 @default.
- W91835307 hasConceptScore W91835307C17435882 @default.
- W91835307 hasConceptScore W91835307C199360897 @default.
- W91835307 hasConceptScore W91835307C206880738 @default.
- W91835307 hasConceptScore W91835307C2164484 @default.
- W91835307 hasConceptScore W91835307C33923547 @default.
- W91835307 hasConceptScore W91835307C41008148 @default.
- W91835307 hasConceptScore W91835307C41608201 @default.
- W91835307 hasConceptScore W91835307C55439883 @default.
- W91835307 hasConceptScore W91835307C76155785 @default.
- W91835307 hasConceptScore W91835307C80444323 @default.
- W91835307 hasLocation W918353071 @default.
- W91835307 hasOpenAccess W91835307 @default.
- W91835307 hasPrimaryLocation W918353071 @default.
- W91835307 hasRelatedWork W1487533857 @default.
- W91835307 hasRelatedWork W1496816696 @default.
- W91835307 hasRelatedWork W1538666241 @default.
- W91835307 hasRelatedWork W1556427327 @default.
- W91835307 hasRelatedWork W1563415963 @default.
- W91835307 hasRelatedWork W1583506783 @default.
- W91835307 hasRelatedWork W1601813778 @default.
- W91835307 hasRelatedWork W2026352253 @default.
- W91835307 hasRelatedWork W2076368414 @default.
- W91835307 hasRelatedWork W2121455697 @default.
- W91835307 hasRelatedWork W2134567445 @default.
- W91835307 hasRelatedWork W2185162921 @default.
- W91835307 hasRelatedWork W2293720162 @default.
- W91835307 hasRelatedWork W2897150585 @default.
- W91835307 hasRelatedWork W2901805906 @default.
- W91835307 hasRelatedWork W2964077831 @default.
- W91835307 hasRelatedWork W3004100840 @default.
- W91835307 hasRelatedWork W587228181 @default.
- W91835307 hasRelatedWork W60445782 @default.
- W91835307 hasRelatedWork W2646533441 @default.
- W91835307 isParatext "false" @default.
- W91835307 isRetracted "false" @default.
- W91835307 magId "91835307" @default.
- W91835307 workType "article" @default.