![](/assets/images/picto-drapeau-france-3a76576a5d60a512053b4612ab58dae5.png)
2. Hoare logic
Hoare logic is concerned with the axiomatic properties of programming languages and the associated technologies for reasoning about programs in order to demonstrate their correct operation. These properties are defined on the basis of the language's syntactic constructs, as in the case of typing and behavioral properties. In this section, we recall the grammar of the language "L", with its typing properties and behavioral properties
Exclusive to subscribers. 97% yet to be discovered!
You do not have access to this resource.
Click here to request your free trial access!
Already subscribed? Log in!
![](/assets/images/logo-eti-286623ed91fa802ce039246e516e5852.png)
The Ultimate Scientific and Technical Reference
This article is included in
Software technologies and System architectures
This offer includes:
Knowledge Base
Updated and enriched with articles validated by our scientific committees
Services
A set of exclusive tools to complement the resources
Practical Path
Operational and didactic, to guarantee the acquisition of transversal skills
Doc & Quiz
Interactive articles with quizzes, for constructive reading
Hoare logic
Bibliography
Software tools
Workshop B https://www.atelierb.eu/
ATL
Kermeta http://www.kermeta.org/
TOPCASED http://www.topcased.org/
USE...
Events
NEPTUNE – Journées Neptune https://neptune.irit.fr/neptune/index.php/fr/
GDR GPL: CNRS GDR Programming and Software Engineering http://www.gdr-gpl.cnrs.fr/
Standards and norms
- Unified Modeling Language http://www.uml.org/ - UML -
Exclusive to subscribers. 97% yet to be discovered!
You do not have access to this resource.
Click here to request your free trial access!
Already subscribed? Log in!
![](/assets/images/logo-eti-286623ed91fa802ce039246e516e5852.png)
The Ultimate Scientific and Technical Reference