A development calculus for specifications

zbMath1161.68573arXivcs/0303021MaRDI QIDQ866032

Wei Li

Publication date: 20 February 2007

Published in: Science in China. Series F (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/cs/0303021

Mathematics Subject Classification ID

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

Related Items (4)

Logical verification of scientific discovery ⋮ A general framework for computing maximal contractions ⋮ A decomposition based algorithm for maximal contractions ⋮ An algebraic approach to revising propositional rule-based knowledge bases

This page was built for publication: A development calculus for specifications