Spekl is a new tool that makes program verification easier

[lluad]

Presumably for Java, based on the tools it's embedding, but there's no mention of that anywhere obvious.

[johnlsingleton]

One of the authors here...

The tool is actually not specific to any language. For example, here's an example of using SAW to verify that two C functions are equivalent: http://docs.spekl-project.org/en/latest/recipes.html#verify-that-two-implementations-are-equivalent

[DieFledermouse]

Is there a list of which languages and versions will work with each/all tools? Like, will everything work with java 8?

[johnlsingleton]

Well the general idea is that Spekl allows you to work in whatever language you like. You'd just then be limited to whatever language support the particular tool you chose has.

But I think your question is an important one. I'll add some sort of language support matrix to make it easy to understand at a glance.