Filtrer vos résultats
- 9
- 5
- 2
- 2
- 9
- 1
- 5
- 3
- 9
- 8
- 8
- 8
- 3
- 3
- 2
- 9
- 6
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
9 résultats
|
|
triés par
|
|
Reachability in Parameterized Systems: All Flavors of Threshold AutomataCONCUR 2018 - 29th International Conference on Concurrency Theory, Sep 2018, Beijing, China. ⟨10.4230/LIPIcs.CONCUR.2018.19⟩
Communication dans un congrès
hal-01871142v1
|
||
|
TLA+ Model Checking Made SymbolicProceedings of the ACM on Programming Languages, 2019, 3 (OOPSLA), pp.123:1--123:30. ⟨10.1145/3360549⟩
Article dans une revue
hal-02280888v1
|
||
|
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.Formal Aspects of Computing, 2019, pp.455-456. ⟨10.1007/s00165-019-00486-z⟩
Article dans une revue
hal-02398334v1
|
||
|
Compositional Verification of Byzantine Consensus2021
Pré-publication, Document de travail
hal-03158911v1
|
||
|
Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model CheckingTACAS 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
|
||
|
Extracting Symbolic Transitions from $TLA+$ SpecificationsAbstract 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
|
||
|
Verification of Randomized Consensus Algorithms under Round-Rigid AdversariesCONCUR 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
|
||
|
Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries2019
Pré-publication, Document de travail
hal-01925533v3
|
||
|
ByMC: Byzantine Model CheckerISoLA 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
|