skip to main content
Mostra solo
Filtrati per: Argomento: Byzantine Faults rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
Material Type:
Aggiungi allo Scaffale Elettronico

On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability

Konnov, Igor ; Veith, Helmut ; Widder, Josef

Information and Computation, February 2017, Vol.252, pp.95-109 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
Material Type:
Aggiungi allo Scaffale Elettronico

Para \documentclass12pt{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^2$$\end{document} 2 : parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms

Konnov, Igor ; Lazić, Marijana ; Veith, Helmut ; Widder, Josef

Formal Methods in System Design, 2017, Vol.51(2), p.270-307 [Rivista Peer Reviewed]

Fulltext disponibile

Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms

Konnov, Igor ; Lazic, Marijana ; Veith, Helmut ; Widder, Josef

Fulltext disponibile

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati


Mostra solo

  1. Riviste Peer-reviewed (2)

Nuove Ricerche Suggerite

Ignora la mia strategia e cerca su tutto

di questo autore:

  1. Widder, Josef
  2. Widder, J
  3. Veith, Helmut
  4. Konnov, I
  5. Veith, H

Ricerca in corso nelle risorse remote ...