122
click to vote
CAV
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. Program synthesis tools work by searching for an implementation that satisfies a given specification. Two popular search strategies are symbolic search, which reduces s...
144
click to vote
CAV
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. Proofs of linearizability of concurrent data structures generally rely on identifying linearization points to establish a simulation argument between the implementation a...
118
click to vote
CAV
2015
Springer
9 years 11 months ago
2015
Springer
POR beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Techn...
106
click to vote
CAV
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. SAE Aerospace Information Report 6110, “Contiguous Aircraft/System Development Process Example,” follows the development of a complex wheel brake system (WBS) using p...