Formal methods in computer technologies

DOI10.1007/BF02667006zbMath0933.68093OpenAlexW2094674904MaRDI QIDQ1288672

I. N. Parasyuk, Ivan V. Sergienko, A. I. Provotar'

Publication date: 16 May 1999

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02667006

zbMATH Keywords

software reliability

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (1)

Using categorical methods in computer science

Cites Work

• Algebraic-logical model of an information retrieval system with an interface component
• A methodology of structured-modular composition programming
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal methods in computer technologies