Frank Zeyda

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Bunch theory: axioms, logic, applications and model	2024-06-25	Paper
UTP, \textsf{\textit{Circus}}, and Isabelle	2024-02-28	Paper
BGSL: an imperative language for specification and refinement of backtracking programs	2022-11-16	Paper
Unifying theories of reactive design contracts	2019-11-22	Paper
Unifying theories of time with generalised reactive processes	2018-04-05	Paper
An Axiomatic Value Model for Isabelle/UTP	2017-04-04	Paper
Unifying heterogeneous state-spaces with lenses	2016-12-21	Paper
Isabelle/UTP: a mechanised theory engineering framework	2016-06-22	Paper
Higher-order UTP for a theory of methods	2015-12-11	Paper
Laws of mission-based programming	2015-07-23	Paper
Mechanical Reasoning about Families of UTP Theories	2015-03-19	Paper
Safety-critical Java programs from \textsf{Circus} models	2014-04-08	Paper
A unification of probabilistic choice within a design-based model of reversible computation	2013-03-22	Paper
Mechanical reasoning about families of UTP theories	2012-07-20	Paper
Mechanised support for sound refinement tactics	2012-07-03	Paper
A tactic language for refinement of state-rich concurrent specifications	2011-06-06	Paper
Automating refinement of Circus programs	2011-05-12	Paper
Encoding Circus programs in ProofPower-Z	2010-08-31	Paper
Preference and non-deterministic choice	2010-08-31	Paper
A Design-Based Model of Reversible Computation	2007-09-14	Paper
ZB 2005: Formal Specification and Development in Z and B	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4436968	2003-12-04	Paper

Research outcomes over time

This page was built for person: Frank Zeyda