Search filters

List of works by Antti Valmari

A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction

scientific article

Adapting Formal Logic for Everyday Mathematics

Algorithms and Logic as Programming Primers

scientific article

All congruences below stability-preserving fair testing or CFFD

article by Antti Valmari published 6 May 2020 in Acta Informatica

Arithmetic, Logic, Syntax and MathCheck

scientific article

Automated Checking of Flexible Mathematical Reasoning in the Case of Systems of (In)Equations and the Absolute Value Operator

scientific article

Elementary Math to Close the Digital Skills Gap

scientific article

Modelling Without a Modelling Language

scientific article

Partial-order reduction for parity games and parameterised Boolean equation systems

scientific article published in October 2022

Pedagogical experiments with MathCheck in university teaching

Progress Checking for Dummies

scientific article

Stubborn Sets, Frozen Actions, and Fair Testing

The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction

scientific article

Paulina is supported by:

About Paulina

Help