scientific article; zbMATH DE number 3688694

MaRDI QIDQ3883474zbMATH OpenFDO

Authors László Csirmaz

Publication date 1980

Full work available at URL https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3195/3180

zbMATH Keywords

continuous tracenon-standard program run

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Cited in

(2)

• Non-standard algorithmic and dynamic logic
• A complete logic for reasoning about programs via nonstandard model theory. I

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3883474)