TLA+ model checking made symbolic I Konnov, J Kukovec, TH Tran
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 123, 2019
53 2019 An interactive Web-based IDE towards teaching and learning in programming courses HT Tran, HH Dang, KN Do, TD Tran, V Nguyen
Proceedings of 2013 IEEE International Conference on Teaching, Assessment …, 2013
26 2013 Extracting Symbolic Transitions from TLA Specifications J Kukovec, TH Tran, I Konnov
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018
5 2018 Cutoffs for Symmetric Point-to-Point Distributed Algorithms TH Tran, I Konnov, J Widder
International Conference on Networked Systems, 329-346, 2020
4 2020 Symbolic Verification of TLA+ Specifications with Applications to Distributed Algorithms TH Tran
Ph. D. thesis, Technische Universität Wien, 2023
2 2023 A Case Study on Parametric Verification of Failure Detectors TH Tran, I Konnov, J Widder
International Conference on Formal Techniques for Distributed Objects …, 2021
2 2021 Extracting symbolic transitions from TLA+ specifications J Kukovec, TH Tran, I Konnov
Science of Computer Programming, 102361, 2019
2 2019 BmcMT: Bounded Model Checking of TLA+ Specifications with SMT I Konnov, J Kukovec, T Tran
TLA+ Community Meeting 2018, 2018
1 2018