Process algebra with guards: Combining Hoare logic with process algebra

JOURNAL ARTICLE published March 1994 in Formal Aspects of Computing

Authors: Jan Friso Groote | Alban Ponse

Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM

JOURNAL ARTICLE published December 2021 in Formal Aspects of Computing

Research funded by Engineering and Physical Sciences Research Council (EP/S001190/1) | Engineering and Physical Sciences Research Council (EP/M025756/1) | German Science Foundation (381212925) | Assuring Autonomy International Programme (CSI:Cobot)

Authors: Simon Foster | Yakoub Nemouchi | Mario Gleirscher | Ran Wei | Tim Kelly

On Lexicographic Proof Rules for Probabilistic Termination

JOURNAL ARTICLE published 30 June 2023 in Formal Aspects of Computing

Research funded by ERC CoG (863818) | Czech Science Foundation (GA21-24711S) | European Union’s Horizon 2020 research and innovation program under the Marie Skłodowska-Curie Grant (665385)

Authors: Krishnendu Chatterjee | Ehsan Kafshdar Goharshady | Petr Novotný | Jiří Zárevúcky | Đorđe Žikelić

Cost vs. time in stochastic games and Markov automata

JOURNAL ARTICLE published July 2017 in Formal Aspects of Computing

Research funded by Sino-German Center for Research Promotion (Project CAP (GZ 1023)) | Deutsche Forschungsgemeinschaft (EXC 1086)

Authors: Hassan Hatefi | Ralf Wimmer | Bettina Braitling | Luis María Ferrer Fioriti | Bernd Becker | Holger Hermanns

A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol

JOURNAL ARTICLE published April 2003 in Formal Aspects of Computing

Authors: Jean-Raymond Abrial | Dominique Cansell | Dominique Méry

André Platzer: Logical foundationsof cyber-physical systems

JOURNAL ARTICLE published February 2020 in Formal Aspects of Computing

Authors: Alexander Knapp | Markus Roggenbach

Using refinement calculus techniques to prove linearizability

JOURNAL ARTICLE published July 2012 in Formal Aspects of Computing

Authors: Bengt Jonsson

On the interconnection constants of Hopfield nets

JOURNAL ARTICLE published March 1990 in Formal Aspects of Computing

Authors: Nandit Soparkar | Abraham Silberschatz

Knaster-Tarski Revisited

JOURNAL ARTICLE published March 1998 in Formal Aspects of Computing

Authors: Jan Eppo Jonker

The SH-Verification Tool — Abstraction-Based Verification of Co-operating Systems

JOURNAL ARTICLE published April 1998 in Formal Aspects of Computing

Authors: P. Ochsenschläger | J. Repp | R. Rieke | U. Nitsche

Editorial

JOURNAL ARTICLE published May 1998 in Formal Aspects of Computing

Authors: Jan Friso Groote | Bas Luttik | Jos van Wamel

The Cash-Point (ATM) ‘Problem’

JOURNAL ARTICLE published December 2000 in Formal Aspects of Computing

Authors: Tim Denvir | José Oliveira | Nico Plat

Editorial

JOURNAL ARTICLE published April 1998 in Formal Aspects of Computing

Authors: Stefania Gnesi | Diego Latella

A Minimal Graphical User Interface for the Jape Proof Calculator

JOURNAL ARTICLE published September 1999 in Formal Aspects of Computing

Authors: Richard Bornat | Bernard Sufrin

Probabilistic Duration Calculus for Continuous Time

JOURNAL ARTICLE published September 1999 in Formal Aspects of Computing

Authors: Dang Van Hung | Zhou Chaochen

Editorial

JOURNAL ARTICLE published September 1999 in Formal Aspects of Computing

Authors: Roland Backhouse

Book Reviews

JOURNAL ARTICLE published March 1998 in Formal Aspects of Computing

Computing Permutation Encodings

JOURNAL ARTICLE published September 1999 in Formal Aspects of Computing

Authors: K. Rustan M. Leino

Untanglings: a novel approach to analyzing concurrent systems

JOURNAL ARTICLE published November 2015 in Formal Aspects of Computing

Authors: Artem Polyvyanyy | Marcello La Rosa | Chun Ouyang | Arthur H. M. ter Hofstede

Improving design decomposition (extended version)

JOURNAL ARTICLE published July 2017 in Formal Aspects of Computing

Research funded by German-Israeli Foundation for Scientific Research and Development (1131-9.6/2011)

Authors: David Faitelson | Shmuel Tyszberowicz