Software testing

Tikanga (meaning "correct procedure" in Mãori), combines static analysis with model checking to mine Computation Tree Logic (CTL) formulas that describe the operations a parameter goes through. We call these temporal specifications operational preconditions, and Tikanga can both mine them as well as check the program for their violations.

Wasabi offers the best of both worlds: a personal dashboard (the best way to organize your feeds, widgets and friends) and the world’s fastest reader (the best way to read new content quickly). No reason to switch between multiple applications, when you can have everything you need all on one page, anymore!

Now it’s easy to make usability testing part of every project. Spend less time, improve your designs and impress your clients.
It’s free to signup and create tests. Add as many questions as you need and share a preview with your client.