Matches in SemOpenAlex for { <https://semopenalex.org/work/W3112193424> ?p ?o ?g. }
- W3112193424 endingPage "64" @default.
- W3112193424 startingPage "21" @default.
- W3112193424 abstract "This chapter provides a retrospective on the developments of three theorem provers for hybrid systems. While all three theorem provers implement closely related logics of the family of differential dynamic logic, they pursue fundamentally different styles of theorem prover implementations. Since the three provers KeYmaera, KeYmaeraD, and KeYmaera X share a common core logic, yet no line of code, and differ vastly in prover implementation technology, their logical proximity yet technical distance enables us to draw conclusions about the various advantages and disadvantages of different prover implementation styles for different purposes, which we hope are of generalizable interest." @default.
- W3112193424 created "2020-12-21" @default.
- W3112193424 creator A5071735146 @default.
- W3112193424 creator A5080481427 @default.
- W3112193424 date "2020-01-01" @default.
- W3112193424 modified "2023-10-10" @default.
- W3112193424 title "A Retrospective on Developing Hybrid System Provers in the KeYmaera Family" @default.
- W3112193424 cites W129487540 @default.
- W3112193424 cites W1521892088 @default.
- W3112193424 cites W1522637266 @default.
- W3112193424 cites W1531639736 @default.
- W3112193424 cites W1535116423 @default.
- W3112193424 cites W1537084112 @default.
- W3112193424 cites W1546768125 @default.
- W3112193424 cites W1565786776 @default.
- W3112193424 cites W1573154295 @default.
- W3112193424 cites W1575486920 @default.
- W3112193424 cites W1590463358 @default.
- W3112193424 cites W1595404720 @default.
- W3112193424 cites W1930225646 @default.
- W3112193424 cites W194524211 @default.
- W3112193424 cites W1968813561 @default.
- W3112193424 cites W1974314710 @default.
- W3112193424 cites W1977444293 @default.
- W3112193424 cites W19888102 @default.
- W3112193424 cites W2004463571 @default.
- W3112193424 cites W2080884201 @default.
- W3112193424 cites W2102251549 @default.
- W3112193424 cites W2106606898 @default.
- W3112193424 cites W2107872611 @default.
- W3112193424 cites W2127240436 @default.
- W3112193424 cites W2130705439 @default.
- W3112193424 cites W2153173530 @default.
- W3112193424 cites W2155985201 @default.
- W3112193424 cites W2176215692 @default.
- W3112193424 cites W2280000660 @default.
- W3112193424 cites W2529440634 @default.
- W3112193424 cites W2561211292 @default.
- W3112193424 cites W2565255124 @default.
- W3112193424 cites W2747477340 @default.
- W3112193424 cites W2766170137 @default.
- W3112193424 cites W2798378744 @default.
- W3112193424 cites W2803699674 @default.
- W3112193424 cites W2885093626 @default.
- W3112193424 cites W2885880873 @default.
- W3112193424 cites W2932603064 @default.
- W3112193424 cites W2936848362 @default.
- W3112193424 cites W2950309301 @default.
- W3112193424 cites W2969246315 @default.
- W3112193424 cites W2969536896 @default.
- W3112193424 cites W2971627214 @default.
- W3112193424 cites W2974059972 @default.
- W3112193424 cites W300871591 @default.
- W3112193424 cites W3023731641 @default.
- W3112193424 cites W3098812810 @default.
- W3112193424 cites W3101115050 @default.
- W3112193424 cites W3101944344 @default.
- W3112193424 cites W3102952452 @default.
- W3112193424 cites W3104303413 @default.
- W3112193424 cites W3104978980 @default.
- W3112193424 cites W3105004496 @default.
- W3112193424 cites W3120151673 @default.
- W3112193424 cites W3124336112 @default.
- W3112193424 cites W3125808851 @default.
- W3112193424 cites W3126578424 @default.
- W3112193424 cites W3168224710 @default.
- W3112193424 cites W74180852 @default.
- W3112193424 doi "https://doi.org/10.1007/978-3-030-64354-6_2" @default.
- W3112193424 hasPublicationYear "2020" @default.
- W3112193424 type Work @default.
- W3112193424 sameAs 3112193424 @default.
- W3112193424 citedByCount "5" @default.
- W3112193424 countsByYear W31121934242021 @default.
- W3112193424 countsByYear W31121934242022 @default.
- W3112193424 countsByYear W31121934242023 @default.
- W3112193424 crossrefType "book-chapter" @default.
- W3112193424 hasAuthorship W3112193424A5071735146 @default.
- W3112193424 hasAuthorship W3112193424A5080481427 @default.
- W3112193424 hasConcept C108710211 @default.
- W3112193424 hasConcept C159718280 @default.
- W3112193424 hasConcept C177264268 @default.
- W3112193424 hasConcept C199360897 @default.
- W3112193424 hasConcept C206880738 @default.
- W3112193424 hasConcept C2524010 @default.
- W3112193424 hasConcept C26713055 @default.
- W3112193424 hasConcept C2776760102 @default.
- W3112193424 hasConcept C33923547 @default.
- W3112193424 hasConcept C41008148 @default.
- W3112193424 hasConcept C80444323 @default.
- W3112193424 hasConceptScore W3112193424C108710211 @default.
- W3112193424 hasConceptScore W3112193424C159718280 @default.
- W3112193424 hasConceptScore W3112193424C177264268 @default.
- W3112193424 hasConceptScore W3112193424C199360897 @default.
- W3112193424 hasConceptScore W3112193424C206880738 @default.
- W3112193424 hasConceptScore W3112193424C2524010 @default.
- W3112193424 hasConceptScore W3112193424C26713055 @default.
- W3112193424 hasConceptScore W3112193424C2776760102 @default.
- W3112193424 hasConceptScore W3112193424C33923547 @default.