scholarly journals Refinement Checking Parameterised Quorum Systems

2017 ◽  
Author(s):  
Antti Siirtola
Keyword(s):  
Quorum Systems ◽  
Refinement Checking

Constructing Byzantine Quorum systems from combinatorial designs

1999 ◽  
Vol 71 (1) ◽  
pp. 35-42 ◽  
Author(s):  
Tatsuhiro Tsuchiya ◽  
Nobuhiko Ido ◽  
Tohru Kikuno
Keyword(s):  
Combinatorial Designs ◽  
Quorum Systems

scholarly journals Model-based mutation testing via symbolic refinement checking

2015 ◽  
Vol 97 ◽  
pp. 383-404 ◽  
Author(s):  
Bernhard K. Aichernig ◽  
Elisabeth Jöbstl ◽  
Stefan Tiran
Keyword(s):  
Mutation Testing ◽  
Model Based ◽  
Refinement Checking

scholarly journals A refinement checking based strategy for component-based systems evolution

2020 ◽  
Vol 167 ◽  
pp. 110598
Author(s):  
José Dihego ◽  
Augusto Sampaio ◽  
Marcel Oliveira
Keyword(s):  
Refinement Checking

scholarly journals On quorum systems for group resources allocation

2010 ◽  
Vol 22 (3) ◽  
pp. 197-214 ◽  
Author(s):  
Yuh-Jzer Joung
Keyword(s):  
Resources Allocation ◽  
Quorum Systems

scholarly journals Probabilistic Quorum Systems

2001 ◽  
Vol 170 (2) ◽  
pp. 184-206 ◽  
Author(s):  
Dahlia Malkhi ◽  
Michael K Reiter ◽  
Avishai Wool ◽  
Rebecca N Wright
Keyword(s):  
Quorum Systems

Probabilistic Opaque Quorum Systems

2007 ◽  
pp. 403-419 ◽  
Author(s):  
Michael G. Merideth ◽  
Michael K. Reiter
Keyword(s):  
Quorum Systems

An optimal cut-off algorithm for parameterised refinement checking

2020 ◽  
Vol 198 ◽  
pp. 102517
Author(s):  
Antti Siirtola ◽  
Keijo Heljanko
Keyword(s):  
Refinement Checking
Sign in / Sign up

Export Citation Format

Share Document