Model-based specification

DOI10.1016/S0020-0190(00)00206-4zbMath1003.68075OpenAlexW2151061082MaRDI QIDQ1607085

Lex Bijlsma

Publication date: 25 July 2002

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0190(00)00206-4

zbMATH Keywords

object-oriented codespecification formalism

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• Eiffel
• Z

Cites Work

• Data refinement by calculation
• Laws of data refinement
• A hidden agenda
• Hoare logic and auxiliary variables
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item