Simulation modeling of a large-scale formal verification process

He Zhang (张贺)

[0]

[0]

[0]

[0]

[0]

[0]

ICSSP, pp. 3-12, 2012.

Cited by: 9|Views45

EI WOS

Keywords:

microkernelsimulation modelingprocess optimizationlarge-scale machine-checked formal verificationprocess dynamic characteristicsMore(31+)

Abstract:

The L4.verified project successfully completed a large-scale machine-checked formal verification at the code level of the functional correctness of the seL4 operating system microkernel. The project applied a middle-out process, which is significantly different from conventional software development processes. This paper reports a simulat...More

Code:

Data:

Get fulltext within 24h

View via Publisher