Ok, this seems like a dumb question, but if the TLA+ they keep praising fixes many fundamental issues, and they seem to imply it is only acceptance by programmers that is preventing it wider access.
Why is it a java backbone,
And if I had to climb the hill that would be using Eclipse IDE, could TLA+ toolbox be used with something like an embedded micro controller, spitting out firmware, or is this locked away to the likes of computer programming,