[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] TLA+ to Scala compiler


I'm interested in transforming TLA+ specs into executable code in order to test existing code against specs. I came across PGo (https://github.com/UBC-NSS/pgo) for compiling Modular PlusCal to Go. Is anyone aware of similar tools, specifically for compilation to Scala? (I think there is potentially a big market for a tool like this.) Any suggestions/direction would be greatly appreciated! Thanks!


Isaac DeFrain
RChain Research and Development

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/CAM3xQxFxtEb3NNtTDHKa%2BYjqTtsD1U48LMYjLZjZfKUYd8PBqA%40mail.gmail.com.