Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

9 résultats
Page :
triés par
Image document

TLA+ Model Checking Made Symbolic

 Igor Konnov , Jure Kukovec , Thanh-Hai Tran
Proceedings of the ACM on Programming Languages, 2019, 3 (OOPSLA), pp.123:1--123:30. ⟨10.1145/3360549⟩
Article dans une revue hal-02280888v1
Image document

Reachability in Parameterized Systems: All Flavors of Threshold Automata

 Jure Kukovec , Igor Konnov , Josef Widder
CONCUR 2018 - 29th International Conference on Concurrency Theory, Sep 2018, Beijing, China. ⟨10.4230/LIPIcs.CONCUR.2018.19⟩
Communication dans un congrès hal-01871142v1
Image document

Compositional Verification of Byzantine Consensus

 Nathalie Bertrand , Vincent Gramoli , Igor Konnov , Marijana Lazic , Pierre Tholoniat , et al.
2021
Pré-publication, Document de travail hal-03158911v1
Image document

Handbook of Model Checking by Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds), published by Springer International Publishing AG, Cham, Switzerland, 2018.

 Igor Konnov
Formal Aspects of Computing, 2019, pp.455-456. ⟨10.1007/s00165-019-00486-z⟩
Article dans une revue hal-02398334v1
Image document

Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking

 Ilina Stoilkovska , Igor Konnov , Josef Widder , Florian Zuleger
TACAS 2019 - International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-17465-1_20⟩
Communication dans un congrès hal-01925653v2
Image document

Extracting Symbolic Transitions from $TLA+$ Specifications

 Jure Kukovec , Thanh-Hai Tran , Igor Konnov
Abstract State Machines, Alloy, B, TLA, VDM, and Z. ABZ 2018, Jun 2018, Southampton, United Kingdom. pp.89-104, ⟨10.1007/978-3-319-91271-4_7⟩
Communication dans un congrès hal-01871131v1
Image document

Verification of Randomized Consensus Algorithms under Round-Rigid Adversaries

 Nathalie Bertrand , Igor Konnov , Marijana Lazic , Josef Widder
CONCUR 2019 - 30th International Conference on Concurrency Theory, Aug 2019, Amsterdam, Netherlands. pp.1-16, ⟨10.4230/LIPIcs.CONCUR.2019.33⟩
Communication dans un congrès hal-02191348v1
Image document

Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries

 Nathalie Bertrand , Igor Konnov , Marijana Lazic , Josef Widder
2019
Pré-publication, Document de travail hal-01925533v3
Image document

ByMC: Byzantine Model Checker

 Igor Konnov , Josef Widder
ISoLA 2018 - 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2018, Limassol, Cyprus. pp.327-342, ⟨10.1007/978-3-030-03424-5_22⟩
Communication dans un congrès hal-01909653v1
Page :