FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2982555644> ?p ?o ?g. }

• W2982555644 abstract "We present simple new Hoare logics and refinement calculi for hybrid systems in the style of differential dynamic logic. (Refinement) Kleene algebra with tests is used for reasoning about the program structure and generating verification conditions at this level. Lenses capture hybrid program stores in a generic algebraic way. The approach has been formalised with the Isabelle/HOL proof assistant. A number of examples explains the workflow with the resulting verification components." @default.
• W2982555644 created "2019-11-08" @default.
• W2982555644 creator A5004734550 @default.
• W2982555644 creator A5018039260 @default.
• W2982555644 creator A5022668192 @default.
• W2982555644 date "2019-10-29" @default.
• W2982555644 modified "2023-09-27" @default.
• W2982555644 title "Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL" @default.
• W2982555644 cites W1492315860 @default.
• W2982555644 cites W1511826042 @default.
• W2982555644 cites W1521738998 @default.
• W2982555644 cites W1557559121 @default.
• W2982555644 cites W1558296274 @default.
• W2982555644 cites W1597515852 @default.
• W2982555644 cites W1998368317 @default.
• W2982555644 cites W2010626618 @default.
• W2982555644 cites W2016732604 @default.
• W2982555644 cites W2174838357 @default.
• W2982555644 cites W2234482668 @default.
• W2982555644 cites W2402901770 @default.
• W2982555644 cites W2408469252 @default.
• W2982555644 cites W2521918545 @default.
• W2982555644 cites W2531670358 @default.
• W2982555644 cites W2566427880 @default.
• W2982555644 cites W2578782373 @default.
• W2982555644 cites W2732277151 @default.
• W2982555644 cites W2793741686 @default.
• W2982555644 cites W2885880873 @default.
• W2982555644 cites W2927999238 @default.
• W2982555644 cites W2972868992 @default.
• W2982555644 cites W2982631224 @default.
• W2982555644 hasPublicationYear "2019" @default.
• W2982555644 type Work @default.
• W2982555644 sameAs 2982555644 @default.
• W2982555644 citedByCount "0" @default.
• W2982555644 crossrefType "posted-content" @default.
• W2982555644 hasAuthorship W2982555644A5004734550 @default.
• W2982555644 hasAuthorship W2982555644A5018039260 @default.
• W2982555644 hasAuthorship W2982555644A5022668192 @default.
• W2982555644 hasConcept C104949639 @default.
• W2982555644 hasConcept C111472728 @default.
• W2982555644 hasConcept C119857082 @default.
• W2982555644 hasConcept C127413603 @default.
• W2982555644 hasConcept C136119220 @default.
• W2982555644 hasConcept C138885662 @default.
• W2982555644 hasConcept C146978453 @default.
• W2982555644 hasConcept C173856430 @default.
• W2982555644 hasConcept C17435882 @default.
• W2982555644 hasConcept C177212765 @default.
• W2982555644 hasConcept C199360897 @default.
• W2982555644 hasConcept C202444582 @default.
• W2982555644 hasConcept C2780586882 @default.
• W2982555644 hasConcept C33923547 @default.
• W2982555644 hasConcept C41008148 @default.
• W2982555644 hasConcept C50897621 @default.
• W2982555644 hasConcept C55439883 @default.
• W2982555644 hasConcept C77088390 @default.
• W2982555644 hasConcept C80444323 @default.
• W2982555644 hasConcept C93226319 @default.
• W2982555644 hasConceptScore W2982555644C104949639 @default.
• W2982555644 hasConceptScore W2982555644C111472728 @default.
• W2982555644 hasConceptScore W2982555644C119857082 @default.
• W2982555644 hasConceptScore W2982555644C127413603 @default.
• W2982555644 hasConceptScore W2982555644C136119220 @default.
• W2982555644 hasConceptScore W2982555644C138885662 @default.
• W2982555644 hasConceptScore W2982555644C146978453 @default.
• W2982555644 hasConceptScore W2982555644C173856430 @default.
• W2982555644 hasConceptScore W2982555644C17435882 @default.
• W2982555644 hasConceptScore W2982555644C177212765 @default.
• W2982555644 hasConceptScore W2982555644C199360897 @default.
• W2982555644 hasConceptScore W2982555644C202444582 @default.
• W2982555644 hasConceptScore W2982555644C2780586882 @default.
• W2982555644 hasConceptScore W2982555644C33923547 @default.
• W2982555644 hasConceptScore W2982555644C41008148 @default.
• W2982555644 hasConceptScore W2982555644C50897621 @default.
• W2982555644 hasConceptScore W2982555644C55439883 @default.
• W2982555644 hasConceptScore W2982555644C77088390 @default.
• W2982555644 hasConceptScore W2982555644C80444323 @default.
• W2982555644 hasConceptScore W2982555644C93226319 @default.
• W2982555644 hasLocation W29825556441 @default.
• W2982555644 hasOpenAccess W2982555644 @default.
• W2982555644 hasPrimaryLocation W29825556441 @default.
• W2982555644 hasRelatedWork W119869865 @default.
• W2982555644 hasRelatedWork W146493892 @default.
• W2982555644 hasRelatedWork W1480474950 @default.
• W2982555644 hasRelatedWork W1523052496 @default.
• W2982555644 hasRelatedWork W1551536084 @default.
• W2982555644 hasRelatedWork W1573822344 @default.
• W2982555644 hasRelatedWork W1586786145 @default.
• W2982555644 hasRelatedWork W1797941296 @default.
• W2982555644 hasRelatedWork W1824826039 @default.
• W2982555644 hasRelatedWork W1983083941 @default.
• W2982555644 hasRelatedWork W2135640478 @default.
• W2982555644 hasRelatedWork W2146402917 @default.
• W2982555644 hasRelatedWork W23903359 @default.
• W2982555644 hasRelatedWork W3014009067 @default.
• W2982555644 hasRelatedWork W3036611088 @default.
• W2982555644 hasRelatedWork W3085046366 @default.
• W2982555644 hasRelatedWork W32741634 @default.
• W2982555644 hasRelatedWork W581721491 @default.

• next