Paul Curzon

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A comparison of MDG and HOL for hardware verification	2024-07-05	Paper
Verification-guided modelling of salience and cognitive load Formal Aspects of Computing	2010-01-04	Paper
An approach to formal verification of human-computer interaction Formal Aspects of Computing	2007-11-28	Paper
Providing a formal linkage between MDG and HOL Formal Methods in System Design	2007-04-26	Paper
scientific article; zbMATH DE number 2185687 (Why is no real title available?)	2005-07-04	Paper
scientific article; zbMATH DE number 2086953 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2084461 (Why is no real title available?)	2004-08-09	Paper
scientific article; zbMATH DE number 1964934 (Why is no real title available?)	2003-08-17	Paper
scientific article; zbMATH DE number 1852162 (Why is no real title available?)	2003-01-09	Paper
scientific article; zbMATH DE number 1436133 (Why is no real title available?)	2000-06-07	Paper
Importing MDG verification results into HOL Lecture Notes in Computer Science	2000-03-23	Paper
Deriving correctness properties of compiled code Formal Methods in System Design	1994-05-03	Paper

Research outcomes over time

This page was built for person: Paul Curzon