Login / Signup
Pascal Béger
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 2
Top Topics
Model Checker
Interactive Systems
Doctoral Consortium
Formal Verification
Top Venues
FM Workshops (1)
Proc. ACM Hum. Comput. Interact.
</>
Publications
</>
Daniel Prun
,
Pascal Béger
Formal Verification of Graphical Properties of Interactive Systems.
Proc. ACM Hum. Comput. Interact.
6 (EICS) (2022)
Pascal Béger
,
Sébastien Leriche
,
Daniel Prun
A Survey of Papers from Formal Methods for Interactive Systems (FMIS) Workshops.
FM Workshops (1)
(2019)