scientific article; zbMATH DE number 1200752

zbMATH Open0907.68120MaRDI QIDQ4210110

Author name not available (Why is that?)

Publication date: 21 September 1998

Title of this publication is not available (Why is that?)

zbMATH Keywords

preconditioncorrectnessprogram specificationcompletenessset theorytemporal logicschemamodulealgebraic specificationtautologylambda calculusabstract data typesfinite state machinebagLarchOBJ3predicatedeadlock-freedompostconditiongeneric functionLarch/C++VDM, Z

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Related Items (3)

What causes a system to satisfy a specification? ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?)

Uses Software

• OBJ3

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 Q4210110)