most citedMeasuring the Quality of B Abstract Machines with ISO/IEC 25010

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

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.…