25 citations · 124 across the 16 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022★ 1 cited
Extensible Proof Systems for Infinite-State Systems
Jeroen J. A. Keiren, Rance Cleaveland
This paper revisits soundness and completeness of proof systems for proving that sets of states in infinite-state labeled transition systems satisfy formulas in the modal mu-calcul…
eess.SY2022
Formal verification of an industrial UML-like model using mCRL2 (extended version)
Anna Stramaglia, Jeroen J. A. Keiren
Low-code development platforms are gaining popularity. Essentially, such platforms allow to shift from coding to graphical modeling, helping to improve quality and reduce developme…