[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[tlaplus] TLA+/PlusCal generators from source code
- From: Deividas Bražėnas <deividas.brazenas@xxxxxxxxx>
- Date: Thu, 31 Mar 2022 11:39:43 -0700 (PDT)
- Ironport-data: A9a23:aNVfca4GktGHniWpRGU3ewxRtKjCchMFZxGqfqrLsTDasY5as4F+v jceW2uFM/aIN2OjLYt2aYW0pEpS68PTzNFlTwQ++CBgZn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOK6UYYoAwgpLeNeYH5JZSlLxqho2uaEvfDjW1nX4 Yip+pWFULOY82cc3lw8u/rrRCxH56yaVAMw5jTSstgW1LN2vyB94KM3fcldHVOgKmVnNrLSq 9L48V2M1jixEyHBpT+Suu2TnkUiGtY+NOUV45Zcc/DKbhNq/kTe3kunXRYRQR8/ttmHozx+4 P5Kib3rGVwABbLJk+UZWEQBTDhcNLITrdcrIVDn2SCS50jPcn+pxPw3SU9rbMsX/eF4BWwI/ vsdQNwPRkrb1qTmnfTiFLEq25VLwMrDZOvzvll8yTjBCes9AprFSI/h24Fm5Q8O3f1vN9yCR +kiNxhGSTv5TiFmYXM9VKMWk+CviX3yfCdftUqO46Ew5gA/ySQrgeS0aoaKJbRmQ+0El0+yo 1Pr41/dOTdLbNmU9gWDyyij07qncSTTAdpOTtVU7MVCjFyIzXEIEzUKUVL9pOKjz0+4QdNWb U0S4Csn66YonHFHVfH4Vhy85XmN51sSBosWHOo95wWAjKHT5m51G1ToUBZqb+AH759tbAc10 1SIm9i0XGN2krSKHCf1GqivkRu+Pi0cLGknbCACTBcY79SLnG3VpkKfJjqEOP7l5uAZCQ0c0 BjR9nVn3Ox7YdojkvTmrAiY2VpAs7CQFlZtjjg7SF5J+e+QiGSNTIWu9V/dhRqrBNnEFwHa1 JTodjT30QzjJZSElSjIR+xUWb/0trCKNzrThVMpFJ4kn9hMx5JBVd0MiN2dDB0zWirhRdMPS BOC0e+2zMQCVEZGlYctP+qM5z0ClMAM7+jNWPHOdcZpaZNsbgKB9ywGTRfOgzCzzhV0yfliY M7znSOQ4ZAyWfQPIN2eF7d17FPX7n1WKZ77Gcirnk3/j9JymlbMEepYaDNikdzVHIvd+FmPm zquH8SNzBpbXYXDjtr/oOYuwaQxBSlrbbiv85Y/XrfbfGJOQThxY9eMkeJJU9E0xMx9y7aUl lngCx8w4ASl2RXvd17QAlg9M+OHYHqKhStrVcDaFQryiyVLjEfGxPt3SqbbipF8qrQ5lKQkH qRdEyhCa9wWIgn6F/0mRcGVhORfmN6D3Gpi5gKpP2oyeYBOXQvM9oO2dwfj7nBQXCWwssQ6r rK60R7DWtwIQAE7VJTab/emzlWQu3kBmbMiBBCReYYNJ0i8opJ3LyHRj+MsJ51eIxv0wDbHh R2dBg0VpLWQroJsqIvJiKmIop2HCex7GkYGTWDX4aznZzXA92Sih4RHVb/QLzzaUWr1/oSkZ PlUlqina6Bawg4R6YclSuRl16Mz4dfrtoR29AU8ESWZdUmvB5NhPmKCgZtFuJpLy+ILogCxQ E+OpoRXNLjQY5HlHVcdKRAfY/yHxO0TnjWOv/05LF+jun14+72IVUhdJR6RkDcbJ7xwadt3z eAksc8Qygq+lht7Yo3d13sLqTuBfi4aTqEqlpAGG4u32AAl/VdPPM7HASjs7ZDTNthBPxV4I jKQg6ae1b1QylCYKCg2HHnJmO1U3NEA5UEMw1gFKFCE3NHCg6ZvjhFW9D02SCVTzwlGg70vY Dk1bxUtKPXc5SpsiehCQ3uoR1NLCiqf9xGj0FAOjmDYExSlWz2fKGwmJduL510T924ALDFX8 KvGmDTgWDfuYMaj0Sw1VkpopObkUMRqswjLnsmoEofeQMlrPWe70vD3PDRLth38HMkqj1fGr +RC8+F3Zqn2OjQXvrUgTYKd0O1IGhyDIWVDR9Bn/b8ITDGHI2jphmbRJhDjYN5JKtzL7VS8V 55kKPVJWknszy2JtD0aWfMBLrMozvcl6MBeK+HrOXIeqOnY6TVzt4/I7W7xg2gkR9gomsE4b YzLcC+aVXCUjGNQhnSKt9ROIWGiYNMJaQCgjvq59v4FS8AKvO12Kxpg17K1uzCSOVIi8U/F+ gzEYKDSwqppzoE1x9ngFaBKBgOVL9LvVbTXrFri7YwWNd6fY93Tsw41q0X8O1gEN7UmXdkqx 6+Gt8T63R+Ysbs7O4wDd0Jty0WUCQSOsOtr3gbfKXBbmW6FUZap7UZSvW+/LpNNnZVW4czPq 85UrievXYZ9Zjuf7CQ9h+ti/9I1BKPwYaPtqjm6suyXTBMa1GQr6fu5oGTxYzgzmjAgYvXD5 8ydhxpqzt9fq4tICRAeAOx+GNlzJ1qLtW7KsTHunWHwM1RESW9udlcvedTMJN0L5rS5/B7G3 K/4
- Ironport-hdrordr: A9a23:2QADxqCk4vT5Nv7lHekz55DYdb4zR+YMi2TDtnoBMyC9F/bz+v xG885rsSMc5AxhP03Jd7i7Sd29qV21z+8B3WBTB8bSYOHe0FHYXr2KlLGStAEIeBeOjdK0YM xbAtZD4aPLfCFHZJ3BkXaF+r8bqbHtgcKVbIHlvgtQpC5RBJ2IhD0JcjpzfHcGIjWvxPICZf mhDwl8yQZIu056UiwKbUN1LNQra+erqHoXCiR2eiLPITPv/FaVwY+/KQGR2lM1Uj9Ew7sutU jD1yLj4Lm72svLuiPh6w==
- Ironport-sdr: MbjzIk4+UBCYWuYUQR6Fv0chFaCn8bVl4de3Jhti9QlUTIw3ghlgXend0FlxMyfZkPRhrltKM+ eZ+FaoHqGHrfLit/AtvmT5O6+wIeP4uu6lLonU+iMIv/EQTPpg1yG0lntpBWcTMc40ivg9Wib0 3FSMW5yfZKlHTDMGjoMkjghChISwAaZqJSKAUfOdt59sC6Q5YYYdY3j6l/PLL9ASJAOE/XvxAg cZ/3Et6dcOzch1Aa+bKL/9J0uu+hq8JAMDeDC2JVGRlU3ibbMiKLP+p/V7oM/8Cx+oIqqpyOSh u1XjgmjPKqJ9Aj9l1Npsi37v
Hello,
I'm writing a master's thesis about generating TLA+ specifications from Elixir source code. I'm currently doing a literature analysis but having trouble finding any information about existing tools that would convert the source code to the TLA+ specification - I only find the tools that generate the source code from specs.
Maybe you know any tools with this functionality?
Thanks!
The content of this email, including all attachments, is confidential. If you are not the intended recipient, please notify us immediately and delete this email. Any disclosure, copying, distribution or any other use of its content is strictly prohibited.
--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/41889525-ead1-4c99-870b-547e6aefe6e6n%40googlegroups.com.