Bernhard Steffen, Oliver R¨uthing, and MichaelHuth: Mathematical Foundations of Advanced Informatics—Volume 1: Inductive Approaches

JOURNAL ARTICLE published November 2019 in Formal Aspects of Computing

Authors: Greg Michaelson

Transforming Boolean equalities into constraints

JOURNAL ARTICLE published May 2017 in Formal Aspects of Computing

Authors: Sergio Antoy | Michael Hanus

Introducing extra operations in refinement

JOURNAL ARTICLE published March 2014 in Formal Aspects of Computing

Authors: Eerke A. Boiten

On the Interactive Power of Higher-order Processes Extended with Parameterization

JOURNAL ARTICLE published March 2021 in Formal Aspects of Computing

Research funded by National Natural Science Foundation of China (61872142) | National Natural Science Foundation of China (61772336) | National Natural Science Foundation of China (61572318)

Authors: Wenbo Zhang | Xian Xu | Qiang Yin | Huan Long

Cut branches before looking for bugs: certifiably sound verification on relaxed slices

JOURNAL ARTICLE published January 2018 in Formal Aspects of Computing

Authors: Jean-Christophe Léchenet | Nikolai Kosmatov | Pascale Le Gall

Institution Morphisms

JOURNAL ARTICLE published July 2002 in Formal Aspects of Computing

Authors: Joseph Goguen | Grigore Roşu

Timed runtime monitoring for multiparty conversations

JOURNAL ARTICLE published September 2017 in Formal Aspects of Computing

Research funded by Engineering and Physical Sciences Research Council (EP/K034413/1,EP/K011715/1,EP/L00058X/1,EP/N027833/1,EP/N028201/1) | Seventh Framework Programme (BE) (612985 (UPSCALE).)

Authors: Rumyana Neykova | Laura Bocchi | Nobuko Yoshida

Formal verification and quantitative metrics of MPSoC data dynamics

JOURNAL ARTICLE published March 2018 in Formal Aspects of Computing

Research funded by National Natural Science Foundation of China (CN) (11371003,11461006) | Natural Science Foundation of Guangxi Province (CN) (2012GXNSFGA060003) | Scientific Research Project (201012MS274)

Authors: Hui Zhang | Jinzhao Wu

A mini challenge: build a verifiable filesystem

JOURNAL ARTICLE published June 2007 in Formal Aspects of Computing

Authors: Rajeev Joshi | Gerard J. Holzmann

Forthcoming events 1990

JOURNAL ARTICLE published March 1990 in Formal Aspects of Computing

The projection of systolic programs

JOURNAL ARTICLE published March 1990 in Formal Aspects of Computing

Authors: C. Lengauer | J. W. Sanders

Guest Editorial

JOURNAL ARTICLE published August 2005 in Formal Aspects of Computing

Authors: Michael Leuschel

Book reviews

JOURNAL ARTICLE published July 1993 in Formal Aspects of Computing

Authors: Tony Davie | Simon Brock

Action Refinement Applied to Late Decisions

JOURNAL ARTICLE published June 2006 in Formal Aspects of Computing

Authors: H. Fecher | M. Majster-Cederbaum

Stream-Based Specification of Mobile Systems

JOURNAL ARTICLE published September 2001 in Formal Aspects of Computing

Authors: Radu Grosu | Ketil Stølen

Symbolic Approaches to Probability Distributions in Process Algebra

JOURNAL ARTICLE published December 2000 in Formal Aspects of Computing

Authors: C. Tofts

Editorial

JOURNAL ARTICLE published December 2000 in Formal Aspects of Computing

Authors: Cliff Jones

Procedure compilation in the refinement calculus

JOURNAL ARTICLE published June 2006 in Formal Aspects of Computing

Authors: K. Lermer | C. J. Fidge

Testing methods for X-machines: a review

JOURNAL ARTICLE published March 2006 in Formal Aspects of Computing

Authors: K. Bogdanov | M. Holcombe | F. Ipate | L. Seed | S. Vanak

Natural Semantics-Directed Generation of Compilers and Abstract Machines

JOURNAL ARTICLE published October 2000 in Formal Aspects of Computing

Authors: Stephan Diehl