SH ProofCert Archives

Home Tags SH ProofCert

Improving trust in computer systems using formal proofs

May 23, 2017

Dale Miller, Inria, Université Paris-Saclay, LIX, École Polytechnique, and CNRS highlights the role formal proofs can have in ensuring trust in computer systems

Follow Open Access Government

Latest News

How to avoid scams and fraud: Best practices for your business

February 7, 2023

Fusion solutions: The UK takes STEP towards low-carbon energy

February 7, 2023

Servicing business aviation at a hangar in backlight at sunset

UK government to fund £113 million in hydrogen zero-emission flights

February 7, 2023

Digital health patient data storage concept - Isolated blue stethoscope on green computer circuit board

Why connected patient data is key to transforming global health outcomes...

February 7, 2023

Living near busy roads increases your chance of tinnitus

February 7, 2023

How can digital transformation help you revise remote work culture?

February 7, 2023

Feature Articles

Delivery of improved passenger information

February 6, 2023

Implementing technology to improve safety on construction sites

February 2, 2023

Mental health solutions: can ethics, accessibility and evidence successfully coexist in...

February 2, 2023

Understanding inflammatory cytokine secretion

January 31, 2023

Latest Publication

Open Access Government January 2023

Quick Launch Publication More Details

January 6, 2023

Latest eBook

Transformations to knowledge-based technology at Vestas Aircoil

Quick Launch eBook More Details

February 3, 2023

SH ProofCert Related Content

Follow Open Access Government

Feature Articles

Latest Publication

Latest eBook