Valediction

JOURNAL ARTICLE published December 2008 in Formal Aspects of Computing

Authors: Cliff Jones

Architectural Specifications in CASL

JOURNAL ARTICLE published July 2002 in Formal Aspects of Computing

Authors: Michel Bidoit | Donald Sannella | Andrzej Tarlecki

Three Inadequate Models

JOURNAL ARTICLE published July 2002 in Formal Aspects of Computing

Authors: Gordon Plotkin

Deep Semantic Links of TCSP and Object-Z: TCOZ Approach

JOURNAL ARTICLE published May 2002 in Formal Aspects of Computing

Authors: Brendan Mahony | Jin Song Dong

Validating the PSL/Sugar Semantics Using Automated Reasoning

JOURNAL ARTICLE published December 2003 in Formal Aspects of Computing

Authors: Michael J. C. Gordon

A generalized semantics of PROMELA for abstract model checking

JOURNAL ARTICLE published August 2004 in Formal Aspects of Computing

Authors: María del Mar Gallardo | Pedro Merino | Ernesto Pimentel

Editorial

JOURNAL ARTICLE published November 2003 in Formal Aspects of Computing

Physigrams: modelling devices for natural interaction

JOURNAL ARTICLE published December 2009 in Formal Aspects of Computing

Authors: Alan Dix | Masitah Ghazali | Steve Gill | Joanna Hare | Devina Ramduny-Ellis

Derivation of concurrent programs by stepwise scheduling of Event-B models

JOURNAL ARTICLE published March 2014 in Formal Aspects of Computing

Authors: Pontus Boström | Fredrik Degerlund | Kaisa Sere | Marina Waldén

Specification, proof, and model checking of the Mondex electronic purse using RAISE

JOURNAL ARTICLE published January 2008 in Formal Aspects of Computing

Authors: Chris George | Anne E. Haxthausen

Sound Runtime Assertion Checking for Memory Properties via Program Transformation

JOURNAL ARTICLE published 31 March 2024 in Formal Aspects of Computing

Authors: Dara Ly | Nikolai Kosmatov | Frédéric Loulergue | Julien Signoles

iStar Goal Model to Z Formal Model Translation and Model Checking of CBTC Moving Block Interlocking System

JOURNAL ARTICLE published 31 March 2024 in Formal Aspects of Computing

Authors: Lokanna Kadakolmath | Umesh D. Ramu

A framework for model transformation verification

JOURNAL ARTICLE published January 2015 in Formal Aspects of Computing

Authors: Kevin Lano | T. Clark | S. Kolahdouz-Rahimi

Verification and falsification of programs with loops using predicate abstraction

JOURNAL ARTICLE published March 2010 in Formal Aspects of Computing

Authors: Daniel Kroening | Georg Weissenbacher

Context induction: A proof principle for behavioural abstractions and algebraic implementations

JOURNAL ARTICLE published October 1991 in Formal Aspects of Computing

Authors: Rolf Hennicker

Compositional Verification of Railway Interlocking Systems

JOURNAL ARTICLE published 31 March 2023 in Formal Aspects of Computing

Authors: Anne Elisabeth Haxthausen | Alessandro Fantechi

PuRSUE -from specification of robotic environments to synthesis of controllers

JOURNAL ARTICLE published July 2020 in Formal Aspects of Computing

Research funded by H2020 European Research Council (731869) | H2020 European Research Council (694277)

Authors: Marcello M. Bersani | Matteo Soldo | Claudio Menghi | Patrizio Pelliccione | Matteo Rossi

Comprehensive Systems: A formal foundation for Multi-Model Consistency Management

JOURNAL ARTICLE published December 2021 in Formal Aspects of Computing

Authors: Patrick Stünkel | Harald König | Yngve Lamo | Adrian Rutle

Machine learning steered symbolic execution framework for complex software code

JOURNAL ARTICLE published June 2021 in Formal Aspects of Computing

Authors: Lei Bu | Yongjuan Liang | Zhunyi Xie | Hong Qian | Yi-Qi Hu | Yang Yu | Xin Chen | Xuandong Li

TOrPEDO: witnessing model correctness with topological proofs

JOURNAL ARTICLE published December 2021 in Formal Aspects of Computing

Research funded by H2020 European Research Council (694277)

Authors: Claudio Menghi | Alessandro Maria Rizzi | Anna Bernasconi | Paola Spoletini