Open AccessReasoning about Object-Z formal specification with LTLC
Author(s) -
Hai Huang,
Zhicheng Wen
Publication year - 2019
Publication title -
journal of physics. conference series
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.21
H-Index - 85
eISSN - 1742-6596
pISSN - 1742-6588
DOI - 10.1088/1742-6596/1176/2/022017
Subject(s) - programming language , formal specification , language of temporal ordering specification , correctness , computer science , specification language , formal methods , object language , formal verification , refinement , object (grammar) , extension (predicate logic) , theoretical computer science , artificial intelligence , natural language