Open AccessChecking Object-Z Formal Specification with Z/EVES automatically
Author(s) -
Qian Cheng,
Zhicheng Wen
Publication year - 2019
Publication title -
iop conference series. materials science and engineering
Language(s) - English
Resource type - Journals
eISSN - 1757-899X
pISSN - 1757-8981
DOI - 10.1088/1757-899x/490/4/042016
Subject(s) - programming language , computer science , consistency (knowledge bases) , formal methods , automated theorem proving , formal specification , formal verification , specification language , matching (statistics) , theoretical computer science , mathematics , artificial intelligence , statistics