Skip to content
FORMAL SYSTEM ANALYSIS

FORMAL SYSTEM ANALYSIS
RESEARCH GROUP

  • Home
  • Research
  • Education
  • Student projects
  • People
  • News

Verifying liveness properties under justness assumptions in mCRL2

Posted on August 21, 2021August 21, 2021 by Bas Luttik

In 2020, the article Off-the-shelf Automated Analysis of Liveness Properties for Just Paths by Mark Bouwman, Bas Luttik and Tim Willemse published as Acta Informatica 57:551-590. The article was recently presented at FORTE 2021; you can still watch the presentation introducing the work.

Posted in Research
Post navigation
Paper formalising the semantics of SysML state machines in mCRL2 presented at FORTE 2021 →
← Keynote presentation by Luca Aceto on the axiomatisation of parallel composition at LICS 2021

Agenda

August 2022
MTWTFSS
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31     
« Jul   Sep »

SUBSCRIBE TO CALENDAR

Calendar Feed

Events by Category

  • FSA Colloquium
  • MSc Defences
  • PhD Defence

Colloquium

Schedule
Theme by Out the Box