6 citations · 16 across the 6 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.SE2013★ 2 cited
Domain Types: Selecting Abstractions Based on Variable Usage
Sven Apel, Dirk Beyer, Karlheinz Friedberger +2
The success of software model checking depends on finding an appropriate abstraction of the subject program. The choice of the abstract domain and the analysis configuration is cur…
cs.LO2013★ 5 cited
Reasoning about Strategies under Partial Observability and Fairness Constraints
Simon Busard, Charles Pecheur, Hongyang Qu +1
A number of extensions exist for Alternating-time Temporal Logic; some of these mix strategies and partial observability but, to the best of our knowledge, no work provides a unifi…