Program correctness on finite fields

DOI10.1007/BF02341087zbMath0860.68068MaRDI QIDQ2563951

László Csirmaz

Publication date: 8 April 1997

Published in: Periodica Mathematica Hungarica (Search for Journal in Brave)

zbMATH Keywords

program correctnessFloyd-Hoare-Naur method

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Finite fields (field-theoretic aspects) (12E20)

Cites Work

• A simple proof for the completeness of Floyd's method
• Programs and program verifications in a general setting
• Definability by programs in first-order structures
• The elementary theory of finite fields
• Solving diophantine problems modulo every prime

This page was built for publication: Program correctness on finite fields