Back to Results
First PageMeta Content
Probability theory / Metalogic / Model theory / Automata theory


SMT and POR beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms? Igor Konnov, Helmut Veith, and Josef Widder * Consi
Add to Reading List

Document Date: 2015-05-23 04:55:09

Open Document

File Size: 420,46 KB

Share Result on Facebook

Company

PRAVDA / /

Currency

pence / /

Facility

Vienna University of Technology / /

IndustryTerm

counter systems / threshold-based fault-tolerant distributed algorithms / search space / distributed asynchronous broadcast protocol / large search space / /

MarketIndex

TA / /

Organization

Vienna University of Technology / Austrian Science Fund / RC V / /

Person

Josef Widder / Igor Konnov / Helmut Veith / /

Position

set guard / representative / guard / guard and upper guard / /

ProgrammingLanguage

C* / /

Technology

threshold-based fault-tolerant distributed algorithms / distributed asynchronous broadcast protocol / CAV / /

SocialTag