A kernel to support computer-aided verification of embedded software

[摘要] Formal methods, such as model checking, have the potential to improve the reliablility of software.Abstract models of systems are subjected to formal analysis, often showing subtle defects not discovered by traditional testing.

[发布机构] Stellenbosch University