DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
Interpreted as:
title:(Model AND Checking AND as AND Static AND Analysis)
Suggestions: Include records that partially match the query
Model Checking as Static Analysis
Technical University of Denmark — 2012
Year: 2012
Language: English
Model Checking as Static Analysis: Revisited 10.1007/978-3-642-30729-4_8
Lecture Notes in Computer Science — 2012, pp. 99-112
Year: 2012
Language: English
Multi-valued Logic for Static Analysis and Model Checking 10.1007/978-3-030-22348-9_7
Lecture Notes in Computer Science — 2019, Volume 11200, pp. 89-109
Year: 2019
Language: English
Combining static analysis and case-based search space partitioning for reducing peak memory in model checking 10.1007/BF02945465
Year: 2003
Language: English