Typical examples of using the atoment language
Igor Sergeevich Anureev · Automatic Control and Computer Sciences · 2012
Atoment is a domain-specific language of executable specifications applied to describe methods and techniques of program verification. In this paper, a series of typical examples of using the Atoment language covering program models; the operational, transformational, and axiomatic semantics; and the formal specification of programming languages is presented.