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

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

Contributors

Details

Original languageEnglish
Title of host publicationSoftware Engineering and Formal Methods
EditorsRadu Calinescu, Corina S. Păsăreanu
PublisherSpringer, Cham
Pages332–350
ISBN (print)978-3-030-92124-8
Publication statusPublished - 6 Dec 2021
Peer-reviewedYes

Publication series

SeriesLecture Notes in Computer Science, Volume 13085
ISSN0302-9743

External IDs

ORCID /0000-0001-8047-4094/work/143075252
Scopus 85121907388

Keywords

DFG Classification of Subject Areas according to Review Boards

Subject groups, research areas, subject areas according to Destatis