Matches in SemOpenAlex for { <https://semopenalex.org/work/W1581387743> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1581387743 abstract "KeYmaera is a hybrid verication tool for hybrid systems that combines deductive, real algebraic, and computer algebraic prover technologies. It is an automated and interactive theorem prover for a nat- ural specication and verication logic for hybrid systems. KeYmaera supports dierential dynamic logic , which is a real-valued rst-order dynamic logic for hybrid programs, a program notation for hybrid au- tomata. For automating the verication process, KeYmaera implements a generalized free-variable sequent calculus and automatic proof strate- gies that decompose the hybrid system specication symbolically. To overcome the complexity of real arithmetic, we integrate real quantier elimination following an iterative background closure strategy. Our tool is particularly suitable for verifying parametric hybrid systems and has been used successfully for verifying collision avoidance in case studies from train control and air trac management." @default.
- W1581387743 created "2016-06-24" @default.
- W1581387743 creator A5081682092 @default.
- W1581387743 date "2008-01-01" @default.
- W1581387743 modified "2023-09-27" @default.
- W1581387743 title "KeYmaera: A Hybrid Theorem Prover for Hybrid Systems ?" @default.
- W1581387743 cites W1486344440 @default.
- W1581387743 cites W1509382087 @default.
- W1581387743 cites W1522694098 @default.
- W1581387743 cites W1537084112 @default.
- W1581387743 cites W1565169635 @default.
- W1581387743 cites W1600757688 @default.
- W1581387743 cites W1930225646 @default.
- W1581387743 cites W1977444293 @default.
- W1581387743 cites W2007074311 @default.
- W1581387743 cites W2097910887 @default.
- W1581387743 cites W2147340401 @default.
- W1581387743 cites W2166802518 @default.
- W1581387743 cites W2336123333 @default.
- W1581387743 hasPublicationYear "2008" @default.
- W1581387743 type Work @default.
- W1581387743 sameAs 1581387743 @default.
- W1581387743 citedByCount "45" @default.
- W1581387743 countsByYear W15813877432012 @default.
- W1581387743 countsByYear W15813877432013 @default.
- W1581387743 countsByYear W15813877432014 @default.
- W1581387743 countsByYear W15813877432015 @default.
- W1581387743 countsByYear W15813877432016 @default.
- W1581387743 countsByYear W15813877432017 @default.
- W1581387743 countsByYear W15813877432018 @default.
- W1581387743 countsByYear W15813877432019 @default.
- W1581387743 countsByYear W15813877432020 @default.
- W1581387743 crossrefType "journal-article" @default.
- W1581387743 hasAuthorship W1581387743A5081682092 @default.
- W1581387743 hasConcept C108710211 @default.
- W1581387743 hasConcept C11413529 @default.
- W1581387743 hasConcept C119599485 @default.
- W1581387743 hasConcept C119857082 @default.
- W1581387743 hasConcept C127413603 @default.
- W1581387743 hasConcept C159718280 @default.
- W1581387743 hasConcept C165801399 @default.
- W1581387743 hasConcept C172385210 @default.
- W1581387743 hasConcept C199360897 @default.
- W1581387743 hasConcept C203265346 @default.
- W1581387743 hasConcept C206880738 @default.
- W1581387743 hasConcept C2524010 @default.
- W1581387743 hasConcept C2777796570 @default.
- W1581387743 hasConcept C33923547 @default.
- W1581387743 hasConcept C41008148 @default.
- W1581387743 hasConcept C50897621 @default.
- W1581387743 hasConcept C65880906 @default.
- W1581387743 hasConcept C80444323 @default.
- W1581387743 hasConcept C89421646 @default.
- W1581387743 hasConceptScore W1581387743C108710211 @default.
- W1581387743 hasConceptScore W1581387743C11413529 @default.
- W1581387743 hasConceptScore W1581387743C119599485 @default.
- W1581387743 hasConceptScore W1581387743C119857082 @default.
- W1581387743 hasConceptScore W1581387743C127413603 @default.
- W1581387743 hasConceptScore W1581387743C159718280 @default.
- W1581387743 hasConceptScore W1581387743C165801399 @default.
- W1581387743 hasConceptScore W1581387743C172385210 @default.
- W1581387743 hasConceptScore W1581387743C199360897 @default.
- W1581387743 hasConceptScore W1581387743C203265346 @default.
- W1581387743 hasConceptScore W1581387743C206880738 @default.
- W1581387743 hasConceptScore W1581387743C2524010 @default.
- W1581387743 hasConceptScore W1581387743C2777796570 @default.
- W1581387743 hasConceptScore W1581387743C33923547 @default.
- W1581387743 hasConceptScore W1581387743C41008148 @default.
- W1581387743 hasConceptScore W1581387743C50897621 @default.
- W1581387743 hasConceptScore W1581387743C65880906 @default.
- W1581387743 hasConceptScore W1581387743C80444323 @default.
- W1581387743 hasConceptScore W1581387743C89421646 @default.
- W1581387743 hasLocation W15813877431 @default.
- W1581387743 hasOpenAccess W1581387743 @default.
- W1581387743 hasPrimaryLocation W15813877431 @default.
- W1581387743 hasRelatedWork W1510918931 @default.
- W1581387743 hasRelatedWork W1535116423 @default.
- W1581387743 hasRelatedWork W1575486920 @default.
- W1581387743 hasRelatedWork W1590463358 @default.
- W1581387743 hasRelatedWork W1930225646 @default.
- W1581387743 hasRelatedWork W1968813561 @default.
- W1581387743 hasRelatedWork W1977444293 @default.
- W1581387743 hasRelatedWork W19888102 @default.
- W1581387743 hasRelatedWork W1995691455 @default.
- W1581387743 hasRelatedWork W1999629321 @default.
- W1581387743 hasRelatedWork W2004463571 @default.
- W1581387743 hasRelatedWork W2080884201 @default.
- W1581387743 hasRelatedWork W2101508170 @default.
- W1581387743 hasRelatedWork W2107872611 @default.
- W1581387743 hasRelatedWork W2130705439 @default.
- W1581387743 hasRelatedWork W2147340401 @default.
- W1581387743 hasRelatedWork W2152533774 @default.
- W1581387743 hasRelatedWork W2153173530 @default.
- W1581387743 hasRelatedWork W2176215692 @default.
- W1581387743 hasRelatedWork W3168224710 @default.
- W1581387743 isParatext "false" @default.
- W1581387743 isRetracted "false" @default.
- W1581387743 magId "1581387743" @default.
- W1581387743 workType "article" @default.