{log}: Applications to Software Specification, Prototyping and Verification

03/27/2021
by   Maximiliano Cristiá, et al.
0

This document shows how Z specifications can be translated into {log} and, later, on how {log} can be used to run simulations and automated proofs. This can help users of other specification languages such as B and VDM to use {log} along the same lines. The presentation is rather informal and user-oriented. More technical and formal presentations can be found in the papers published by the authors. We also assume the reader has at least a basic knowledge of the Z notation.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset