scholarly journals A general proof rule for procedures in predicate transformer semantics

1983 ◽  
Vol 20 (4) ◽  
Author(s):  
AlainJ. Martin
Keyword(s):  
General Proof ◽  
Proof Rule ◽  
Predicate Transformer ◽  
Predicate Transformer Semantics

scholarly journals Predicate Transformer Semantics of Quantum Programs

2014 ◽  
pp. 311-360 ◽  
Author(s):  
Mingsheng Ying ◽  
Runyao Duan ◽  
Yuan Feng ◽  
Zhengfeng Ji
Keyword(s):  
Predicate Transformer ◽  
Predicate Transformer Semantics

scholarly journals Predicate Transformer Semantics for Hybrid Systems

2021 ◽  
Author(s):  
Jonathan Julián Huerta y Munive ◽  
Georg Struth
Keyword(s):  
Hybrid Systems ◽  
Vector Fields ◽  
Dynamic Logic ◽  
Invariant Sets ◽  
Deductive Verification ◽  
Semantic Framework ◽  
Verification Of Hybrid Systems ◽  
Predicate Transformer ◽  
Predicate Transformer Semantics

AbstractWe present a semantic framework for the deductive verification of hybrid systems with Isabelle/HOL. It supports reasoning about the temporal evolutions of hybrid programs in the style of differential dynamic logic modelled by flows or invariant sets for vector fields. We introduce the semantic foundations of this framework and summarise their Isabelle formalisation as well as the resulting verification components. A series of simple examples shows our approach at work.

scholarly journals Predicate transformer semantics

1995 ◽  
Vol 24 (1) ◽  
pp. 100-102
Author(s):  
David Schmidt
Keyword(s):  
Predicate Transformer ◽  
Predicate Transformer Semantics
Sign in / Sign up

Export Citation Format

Share Document