Master thesis by Pepijn Vunderink: "Program Matching with Semantic Patterns"

"We propose the Dyno pattern language, in which concrete object language syntax can be used to express intuitive semantic patterns of programs. Pattern matching is performed by translating Dyno patterns to μ-calculus formulas and model checking these formulas against models extracted from object programs."

https://repository.tudelft.nl/record/uuid:a18ab135-96b1-417c-b25e-46aa02521896

#thesis #PatternMatching #MuCalculus #ModelChecking #mCRL2

Dezyne 2.18.0 released, introducing shared interface state, and more!

Dezyne is a language to specify, formally verify, simulate, and implement concurrent control software. Sponsored by @[email protected].

https://lists.gnu.org/archive/html/dezyne-devel/2023-12/msg00000.html

#FreeSoftware #FormalMethods #csp #mCRL2

@fsf
@fsfe
@FormalMethods
@simonracz
@aliceschwarze
@CarstenFuhs
@ravi
@akonsto
@EmmaKelley
@pretentious7
@Jose_A_Alonso
@rrrichardzach
@susan_dagostino

The paper "Simplifying process parameters by unfolding algebraic data types" by Anna Stramaglia, Thomas Neele and yt will be presented at #ictac2023

We describe how algebraic data types can be unfolded to improve the performance of symbolic #modelchecking in #mCRL2.

Abstract: https://easychair.org/smart-program/ICTAC2023/2023-12-08.html#talk:239997