European Journal of Computer Science and Information Technology (EJCSIT)

EA Journals

Verification

A SURVEY PAPER ON ABSTRACT STATE MACHINES AND HOW IT COMPARES TO Z AND VDM (Published)

This codeless method of programming using ASMs is not only capable of producing transparent software but reliable, proven and checked, all the way through its specification as ground model to its implementation. In other words evolving algebra method supports all the software life-cycle phases from initial specifications or requirement gathering to executable code. Above all, this method is platform independent and the ease with which computer scientist can build simple and clean system models out of evolving algebra pushes further the potential it needs to influence future industrial formal methods techniques. This formal specifications and designs demonstrate the consistency between the specifications and the code for all possible data inputs at various levels of abstractions.

Keywords: Evolving Algebra, Formal Methods, Specification, Verification

Scroll to Top

Don't miss any Call For Paper update from EA Journals

Fill up the form below and get notified everytime we call for new submissions for our journals.