155
click to vote
CAV
2015
Springer
10 years 1 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...
181
click to vote
CAV
2015
Springer
10 years 1 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...
149
Voted
CAV
2015
Springer
10 years 1 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...
145
click to vote
CAV
2015
Springer
10 years 1 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...