4 ms·
Does anyone have resources that talk about writing a TLA+ model for an existing software system as opposed to designing a new system using TLA+ as the design re
by _cairn 7y ago
Does anyone have resources that talk about writing a TLA+ model for an existing software system as opposed to designing a new system using TLA+ as the design reference?
- hwayne 7y agoCheck out Marianne Bellotti's work. She recently gave a talk at Strange Loop on writing specifications of existing systems: https://www.youtube.com/watch?v=oMSmkRGzQ64 https://www.youtube.com/watch?v=oMSmkRGzQ64
- _cairn 7y agoThank you! I will check this out.
- lemmster 7y agoBelow are a few specs related to refactoring/rewriting the TLA+ model checker to scale to more cores: * https://github.com/tlaplus/tlaplus/blob/master/tlatools/src/tlc2/value/impl/SubsetValue.tla https://github.com/tlaplus/tlaplus/blob/master/tlatools/src/... * https://github.com/tlaplus/tlaplus/blob/master/tlatools/src/tlc2/tool/fp/OpenAddressing.tla https://github.com/tlaplus/tlaplus/blob/master/tlatools/src/... * https://github.com/lemmy/PageQueue https://github.com/lemmy/PageQueue