Login / Signup
Checking the consistency of Object-Z formal specification based on theorem proof.
Weiqing Wan
Yongqing Yu
Qingyan Zeng
Zhicheng Wen
Published in:
J. Comput. Methods Sci. Eng. (2020)
Keyphrases
</>
formal specification
model checking
object oriented design
specification languages
specification language
consistency checking
interactive theorem proving
formal methods
reverse engineering
data abstraction
concurrent systems
d objects
process algebra
protocol specification
query language
grid workflow