Publications by Jure Kukovec
2020 | |
[5] | Extracting symbolic transitions from TLA+ specifications Science of Computer Programming, volume 187, pages 102361, 2020. |
2019 | |
[4] | TLA+ model checking made symbolic PACMPL, volume 3, number OOPSLA, pages 123:1–123:30, 2019. |
[3] | Reachability Analysis for AWS-Based Networks Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II, pages 231–241, 2019. |
2018 | |
[2] | Extracting Symbolic Transitions from TLA+ Specifications Abstract State Machines, Alloy, B, TLA, VDM, and Z, pages 89–104, 2018. |
[1] | Reachability in Parameterized Systems: All Flavors of Threshold Automata 29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China, pages 19:1–19:17, 2018. |
Technical report (2018): Extracting Symbolic Transitions from TLA+ Specifications [full]