[tlaplus] TLA+ to Scala compiler

[Isaac DeFrain <isaacdefrain@xxxxxxxxx>]

Hello!

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!

Best,

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.