Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

Persons and affiliations

Patrick Wienhöft - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)

Date

9 Dec 2021

Conference

Title	19th International Conference on Software Engineering and Formal Methods
Abbreviated title	SEFM 2021
Conference number
Duration	6 - 10 December 2021
Website	https://sefm-conference.github.io/
Degree of recognition	International event
Location	online
City

Keywords

DFG Classification of Subject Areas according to Review Boards

Theoretical Computer Science

Subject groups, research areas, subject areas according to Destatis

Theoretical Computer Science

Be Lazy and Don’t Care: Faster CTL Model Checking for Recursive State Machines

Dubslaff, C., Wienhöft, P. & Fehnker, A., 6 Dec 2021, Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Proceedings: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings. Calinescu, R. & Păsăreanu, C. S. (eds.). Springer, Cham, p. 332–350 19 p. (Lecture Notes in Computer Science, Volume 13085).

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

View all research output (1)

Research Portal of the TU Dresden