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!
Already subscribed? Log in!
Hoare logic
IDM process. UML activity diagram and SAM
Article included in this offer
"Software technologies and System architectures"
(
230 articles
)
Updated and enriched with articles validated by our scientific committees
A set of exclusive tools to complement the resources
Bibliography
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
