Cargando…

Towards efficient verification of population protocols

Population protocols are a well established model of computation by anonymous, identical finite-state agents. A protocol is well-specified if from every initial configuration, all fair executions of the protocol reach a common consensus. The central verification question for population protocols is...

Descripción completa

Detalles Bibliográficos
Autores principales:	Blondin, Michael, Esparza, Javier, Jaax, Stefan, Meyer, Philipp J.
Formato:	Online Artículo Texto
Lenguaje:	English
Publicado:	Springer US 2021
Materias:	Article
Acceso en línea:	https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8636416/ https://www.ncbi.nlm.nih.gov/pubmed/34866798 http://dx.doi.org/10.1007/s10703-021-00367-3

Ejemplares similares

The complexity of verifying population protocols
por: Esparza, Javier, et al.
Publicado: (2021)

Running Time Analysis of Broadcast Consensus Protocols
por: Czerner, Philipp, et al.
Publicado: (2021)

Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling
por: Blondin, Michael, et al.
Publicado: (2020)

Structural Invariants for the Verification of Systems with Parameterized Architectures
por: Bozga, Marius, et al.
Publicado: (2020)

Industrial methodology for process verification in research (IMPROVER): toward systems biology verification
por: Meyer, Pablo, et al.
Publicado: (2012)

Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper)
por: Bartolo Burlò, Christian, et al.
Publicado: (2020)

Formal verification - Robust and efficient code: Introduction to Formal Verification
por: ALBERTSSON, Kim
Publicado: (2016)

Formal Verification - Robust and Efficient code: Why Formal Verification
por: ALBERTSSON, Kim
Publicado: (2016)

Workshop: Toward Unification and its Verification
por: Kazama, Y, et al.
Publicado: (1985)

Toward Flexible and Efficient Home Context Sensing: Capability Evaluation and Verification of Image-Based Cognitive APIs †
por: Chen, Sinan, et al.
Publicado: (2020)

Automated technology for verification and analysis: 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, proceedings
por: Chen, Yu-Fang, et al.
Publicado: (2019)

Principles of functional verification
por: Meyer, Andreas
Publicado: (2004)

Discourje: Runtime Verification of Communication Protocols in Clojure
por: Hamers, Ruben, et al.
Publicado: (2020)

Vascular Auscultation of Carotid Artery: Towards Biometric Identification and Verification of Individuals
por: Salvi, Rutuja, et al.
Publicado: (2021)

Towards Automated Performance Analysis of Programs by Runtime Verification
por: Dawes, Joshua Heneage
Publicado: (2021)

Toward Realigning Automatic Speaker Verification in the Era of COVID-19
por: Khan, Awais, et al.
Publicado: (2022)

Occupants’ Perceptions of Amenity and Efficiency for Verification of Spatial Design Adequacy
por: Lee, Sangwon, et al.
Publicado: (2016)

An Efficient Location Verification Scheme for Static Wireless Sensor Networks
por: Kim, In-hwan, et al.
Publicado: (2017)

Emergency physician attitudes towards illness verification (sick notes)
por: Hayman, Kate, et al.
Publicado: (2021)

Security Architecture and Protocol for Trust Verifications Regarding the Integrity of Files Stored in Cloud Services †
por: Pinheiro, Alexandre, et al.
Publicado: (2018)

Automatic selection of verification tools for efficient analysis of biochemical models
por: Bakir, Mehmet Emin, et al.
Publicado: (2018)

Towards unified quality verification of synthetic count data with countsimQC
por: Soneson, Charlotte, et al.
Publicado: (2018)

Effectiveness of trauma centers verification: Protocol for a systematic review
por: Batomen, Brice, et al.
Publicado: (2019)

2nd International Workshop on Protocol Specification, Testing and Verification
por: Sunshine, Carl A
Publicado: (1982)

3rd International Workshop on Protocol Specification, Testing and Verification
por: Rudin, Harry, et al.
Publicado: (1983)

Verifications
por: Waddell, Flora A.
Publicado: (1887)

Verifications
por: Fornias, Edward
Publicado: (1887)

Verifications
por: Balch, E. T.
Publicado: (1890)

Verifications
por: Guernsey, Wm. Jefferson
Publicado: (1890)

Verifications
por: Smith, Oran W.
Publicado: (1889)

Cost-Efficient Approaches for Fulfillment of Functional Coverage during Verification of Digital Designs
por: Dinu, Alexandru, et al.
Publicado: (2022)

SAT and SMT-Based Verification of Security Protocols Including Time Aspects †
por: Szymoniak, Sabina, et al.
Publicado: (2021)

Verification of Medorrhinum
por: Allen, J. H.
Publicado: (1892)

Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy
por: Balasubramanian, A. R., et al.
Publicado: (2021)

Experimental Verification Towards Feed-Forward Ground Motion Mitigation at ATF2
por: Pfingstner, Juergen, et al.
Publicado: (2014)

VerificationTalk: A Verification and Security Mechanism for IoT Applications
por: Shieh, Min-Zheng, et al.
Publicado: (2021)

Governance of preventive Health Intervention and On time Verification of its Efficiency: the GIOVE Study
por: Mennini, Francesco Saverio, et al.
Publicado: (2012)

Verification of communication protocols in web services: model-checking service compositions
por: Tari, Zahir, et al.
Publicado: (2014)

4th IFIP International Workshop on Protocol Specification, Testing and Verification
por: Strom, Robert G, et al.
Publicado: (1985)

5th IFIP International Workshop on Protocol Specification, Testing and Verification
por: Díaz, Michel
Publicado: (1986)

Cannot write session to /tmp/vufind_sessions/sess_t6am9lq7afm7tf60inks8l8rm0