Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Markus Alexander Kuppe"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 310, Iss Proc. F-IDE 2019, Pp 50-62 (2019)
We discuss the workflows supported by the TLA+ Toolbox to write and verify specifications. We focus on features that are useful in industry because its users are primarily engineers. Two features are novel in the scope of formal IDEs: CloudTLC connec
Externí odkaz:
https://doaj.org/article/f3ddb494451d4771893ab16041e8f03c
Publikováno v:
F-IDE@FM
Electronic Proceedings in Theoretical Computer Science, Vol 310, Iss Proc. F-IDE 2019, Pp 50-62 (2019)
Electronic Proceedings in Theoretical Computer Science, Vol 310, Iss Proc. F-IDE 2019, Pp 50-62 (2019)
We discuss the workflows supported by the TLA+ Toolbox to write and verify specifications. We focus on features that are useful in industry because its users are primarily engineers. Two features are novel in the scope of formal IDEs: CloudTLC connec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::61c8c796d76209ecdfd64c14d6face68
http://arxiv.org/abs/1912.10633
http://arxiv.org/abs/1912.10633
