Cargando…

Para[Formula: see text] : parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms

Automatic verification of threshold-based fault-tolerant distributed algorithms (FTDA) is challenging: FTDAs have multiple parameters that are restricted by arithmetic conditions, the number of processes and faults is parameterized, and the algorithm code is parameterized due to conditions counting...

Descripción completa

Detalles Bibliográficos
Autores principales:	Konnov, Igor, Lazić, Marijana, Veith, Helmut, Widder, Josef
Formato:	Online Artículo Texto
Lenguaje:	English
Publicado:	Springer US 2017
Materias:	Article
Acceso en línea:	https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6959411/ https://www.ncbi.nlm.nih.gov/pubmed/32009739 http://dx.doi.org/10.1007/s10703-017-0297-4

Ejemplares similares

Tutorial: Parameterized Verification with Byzantine Model Checker
por: Konnov, Igor, et al.
Publicado: (2020)

Parameterized Complexity of [Formula: see text]-Path Packing
por: Belmonte, Rémy, et al.
Publicado: (2020)

Global parameterization of [Formula: see text] scattering up to 2 [Formula: see text]
por: Pelaez, J. R., et al.
Publicado: (2019)

[Formula: see text] regularity properties of singular parameterizations in isogeometric analysis
por: Takacs, T., et al.
Publicado: (2012)

Transition Property for [Formula: see text]-Power Free Languages with [Formula: see text] and [Formula: see text] Letters
por: Rukavicka, Josef
Publicado: (2020)

Observation of B[Formula: see text] [Formula: see text] [Formula: see text] (2S)K[Formula: see text] and B[Formula: see text] [Formula: see text] [Formula: see text] (2S)K[Formula: see text] decays
por: Tumasyan, A., et al.
Publicado: (2022)

Pebble-Intervals Automata and FO[Formula: see text] with Two Orders
por: Labai, Nadia, et al.
Publicado: (2020)

[Formula: see text] rule, [Formula: see text] and [Formula: see text] in [Formula: see text] and [Formula: see text] models with FCNC quark couplings
por: Buras, Andrzej J., et al.
Publicado: (2014)

Measurement of prompt and nonprompt [Formula: see text] production in [Formula: see text] and [Formula: see text] collisions at [Formula: see text]
por: Sirunyan, A. M., et al.
Publicado: (2017)

Measurement of polarization observables [Formula: see text] , [Formula: see text] , and [Formula: see text] in [Formula: see text] and [Formula: see text] photoproduction off quasi-free nucleons
por: Jermann, N., et al.
Publicado: (2023)

[Formula: see text] Is Decidable in [Formula: see text]
por: Bès, Alexis, et al.
Publicado: (2020)

Non-centrosymmetric superconductor Th[Formula: see text] Be[Formula: see text] Pt[Formula: see text] and heavy-fermion U[Formula: see text] Be[Formula: see text] Pt[Formula: see text] cage compounds
por: Koželj, P., et al.
Publicado: (2021)

TG‐43U1 parameterization of elongated RadioCoil [Formula: see text] brachytherapy sources
por: Dini, Sharifeh A., et al.
Publicado: (2007)

[Formula: see text] helps select [Formula: see text] models for [Formula: see text] anomalies
por: Allanach, Ben, et al.
Publicado: (2022)

A multi-dimensional search for new heavy resonances decaying to boosted [Formula: see text] [Formula: see text] , [Formula: see text] [Formula: see text] , or [Formula: see text] [Formula: see text] boson pairs in the dijet final state at 13 [Formula: see text]
por: Sirunyan, A. M., et al.
Publicado: (2020)

Evolution of spin freezing transition and structural, magnetic phase diagram of Dy[Formula: see text] La[Formula: see text] Zr[Formula: see text] O[Formula: see text] (0 [Formula: see text] [Formula: see text] [Formula: see text] 2.0)
por: Sheetal, et al.
Publicado: (2021)

Order–disorder phase transition and elastic-to-plastic vortex creep crossover in a triclinic iron pnictide superconductor (Ca[Formula: see text] La[Formula: see text] )[Formula: see text] (Pt[Formula: see text] As[Formula: see text] )(Fe[Formula: see text] As[Formula: see text] )[Formula: see text]
por: Sundar, Shyam, et al.
Publicado: (2023)

Observation of [Formula: see text] and [Formula: see text] decays
por: Aaij, R., et al.
Publicado: (2017)

Cooper-pair distribution function [Formula: see text] for superconducting [Formula: see text] and [Formula: see text]
por: González-Pedreros, G. I., et al.
Publicado: (2021)

Measurement of the top quark mass in the [Formula: see text] and [Formula: see text] channels using [Formula: see text] [Formula: see text] ATLAS data
por: Aad, G., et al.
Publicado: (2015)

Studies of [Formula: see text] and [Formula: see text] mesons including the observation of the [Formula: see text] decay in proton-proton collisions at [Formula: see text]
por: Sirunyan, A. M., et al.
Publicado: (2018)

Pressure driven magnetic order in Sr[Formula: see text] Ca[Formula: see text] Co[Formula: see text] P[Formula: see text]
por: Forslund, Ola Kenji, et al.
Publicado: (2022)

Heine’s method and [Formula: see text] to [Formula: see text] transformation formulas
por: Bhatnagar, Gaurav
Publicado: (2018)

Probing the current-phase relation in Josephson point-contact junctions between [Formula: see text] In[Formula: see text] and [Formula: see text] K[Formula: see text] (FeAs)[Formula: see text] superconductors
por: Stepanov, Valeriy A., et al.
Publicado: (2021)

Pseudo-scalar Higgs boson production at N[Formula: see text] LO[Formula: see text] +N[Formula: see text] LL[Formula: see text]
por: Ahmed, Taushif, et al.
Publicado: (2016)

Measurement of [Formula: see text] polarisation in [Formula: see text] collisions at [Formula: see text] = 7 TeV
por: Aaij, R., et al.
Publicado: (2014)

Production of [Formula: see text] and [Formula: see text] in p–Pb collisions at [Formula: see text] TeV
por: Adamová, D., et al.
Publicado: (2017)

Final state interactions in [Formula: see text] decays: [Formula: see text] rule vs. [Formula: see text]
por: Buras, Andrzej J., et al.
Publicado: (2017)

BHLS[Formula: see text] upgrade: [Formula: see text] spectra, muon HVP and the [[Formula: see text] ] system
por: Benayoun, M., et al.
Publicado: (2022)

Measurements of the [Formula: see text] [Formula: see text] production cross sections in the [Formula: see text] channel in proton–proton collisions at [Formula: see text] and [Formula: see text] and combined constraints on triple gauge couplings
por: Khachatryan, V., et al.
Publicado: (2015)

Evidence for an [Formula: see text] resonance in [Formula: see text] decays
por: Aaij, R., et al.
Publicado: (2018)

A dispersive analysis of [Formula: see text] and [Formula: see text]
por: Holz, Simon, et al.
Publicado: (2022)

Temperature-dependent optical constants of monolayer [Formula: see text] , [Formula: see text] , [Formula: see text] , and [Formula: see text] : spectroscopic ellipsometry and first-principles calculations
por: Liu, Hsiang-Lin, et al.
Publicado: (2020)

Study of [Formula: see text] and [Formula: see text] production in [Formula: see text] collisions at [Formula: see text] and search for anomalous quartic gauge couplings with the ATLAS experiment
por: Aaboud, M., et al.
Publicado: (2017)

Decidability of parameterized verification
por: Bloem, Roderick, et al.
Publicado: (2015)

Parameterized Verification of Systems with Global Synchronization and Guards
por: Jaber, Nouraldin, et al.
Publicado: (2020)

Measurement of the [Formula: see text] production cross-section using [Formula: see text] events with [Formula: see text] -tagged jets in [Formula: see text] collisions at [Formula: see text] and 8 TeV with the ATLAS detector
por: Aad, G., et al.
Publicado: (2014)

Production of [Formula: see text] and [Formula: see text] in proton–proton collisions at [Formula: see text] 7 TeV
por: Abelev, B., et al.
Publicado: (2015)

The [Formula: see text] massive operator matrix elements of [Formula: see text] for the structure function [Formula: see text] and transversity
por: Ablinger, J., et al.
Publicado: (2011)

Measurement of exclusive [Formula: see text] photoproduction from protons in [Formula: see text] Pb collisions at [Formula: see text]
por: Sirunyan, A. M., et al.
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_305tuhmpg2n8lctmoq9tbv630d