1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.DM2020
N-PAT: A Nested Model-Checker
Hadrien Bride, Cheng-Hao Cai, Jin Song Dong +4
N-PAT is a new model-checking tool that supports the verification of nested-models, i.e. models whose behaviour depends on the results of verification tasks. In this paper, we desc…
cs.SE2020★ 1 cited
Measuring the Quality of B Abstract Machines with ISO/IEC 25010
Cheng-Hao Cai, Jing Sun, Gillian Dobbie
The B method has facilitated the development of software by specifying the design of software as abstract machines and formally verifying the correctness of the abstract machines.…