Axiomatic semantics: Revision history

Template:FlatlistExternal tools:

Template:Endflatlist


For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. Template:Nowrap from current version, Template:Nowrap from preceding version, Template:Nowrap, Template:Nowrap, Template:Nowrap

11 February 2025

  • curprev 12:5012:50, 11 February 2025imported>Zero Contradictions 1,569 bytes +1,569 Adding local short description: "Logic for proving computer program correctness", overriding Wikidata description "approach based on mathematical logic for proving the correctness of computer programs; closely related to Hoare logic; define the meaning of a command in a program by describing its effect on assertions about the program state"