Abstract Data Types Can HaveInequations ¹

JOURNAL ARTICLE published April 2003 in Formal Aspects of Computing

Authors: Hidetaka Kondoh

Editorial

JOURNAL ARTICLE published April 2004 in Formal Aspects of Computing

Authors: Cliff Jones | John Cooke

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

Model-checking dense-time Duration Calculus

JOURNAL ARTICLE published May 2004 in Formal Aspects of Computing

Authors: Martin Fränzle

Action Refinement Applied to Late Decisions

JOURNAL ARTICLE published June 2006 in Formal Aspects of Computing

Authors: H. Fecher | M. Majster-Cederbaum

Verifying data refinements using a model checker

JOURNAL ARTICLE published September 2006 in Formal Aspects of Computing

Authors: Graeme Smith | John Derrick

Procedure compilation in the refinement calculus

JOURNAL ARTICLE published June 2006 in Formal Aspects of Computing

Authors: K. Lermer | C. J. Fidge

A formal approach to property testing in causally consistent distributed traces

JOURNAL ARTICLE published March 2006 in Formal Aspects of Computing

Authors: H. H. Hallal | S. Boroday | A. Petrenko | A. Ulrich

Natural Semantics-Directed Generation of Compilers and Abstract Machines

JOURNAL ARTICLE published October 2000 in Formal Aspects of Computing

Authors: Stephan Diehl

A framework for model transformation verification

JOURNAL ARTICLE published January 2015 in Formal Aspects of Computing

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

Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021

JOURNAL ARTICLE published 31 March 2024 in Formal Aspects of Computing

Authors: Wolfgang Ahrendt | Frédéric Loulergue | Heike Wehrheim

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

Parametric probabilistic transition systems for system design and analysis

JOURNAL ARTICLE published March 2007 in Formal Aspects of Computing

Authors: Ruggero Lanotte | Andrea Maggiolo-Schettini | Angelo Troina

Formal Aspects of Correctness and Optimality of Interval Computations

JOURNAL ARTICLE published June 2006 in Formal Aspects of Computing

Authors: Regivan H. Nunes Santiago | Benjamín R. Callejas Bedregal | Benedito Melo Acióly

Algebra-Based Reasoning for Loop Synthesis

JOURNAL ARTICLE published 31 March 2022 in Formal Aspects of Computing

Research funded by ERC Consolidator Grant ARTIST (101002685) | ERC Starting Grant SYMCAR (639270) | ERC Proof of Concept Grant SYMELS (842066) | Wallenberg Academy Fellowship TheProSE, the FWF research project LogiCS (W1255-N23) | WWTF grant ProbInG (ICT19-018)

Authors: Andreas Humenberger | Daneshvar Amrollahi | Nikolaj Bjørner | Laura Kovács

Practice-oriented courses in formal methods using VDM ⁺⁺

JOURNAL ARTICLE published May 2009 in Formal Aspects of Computing

Authors: Peter Gorm Larsen | John S. Fitzgerald | Steve Riddle

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

Linearizability on hardware weak memory models

JOURNAL ARTICLE published February 2020 in Formal Aspects of Computing

Research funded by Australian Research Council (DP160102457)

Authors: Graeme Smith | Kirsten Winter | Robert J. Colvin

Architectural refinement and notions of intransitive noninterference

JOURNAL ARTICLE published July 2012 in Formal Aspects of Computing

Authors: Ron van der Meyden