Moreover, for embedded systems, it is the only practical on-target verification tool available. With our tool, verifying the most complex parts of your design is done automatically, with no human errors. You need not change your design or test methodology. All you do is add comments to the source code. The Temporal-Rover is a Specification based Verification tool.
Every complex product has a functional specification, typically a document in English.
How do I specify and validate relative and real-time constraints. The Temporal-Rover uses simple notation that lets you specify such constraints for every temporal requirement, and then validates them. How can I test such complex behavior on a target embedded system, in the field. The target is more often than not limited in memory size, and cannot tollerate the overhead induced by specialized verification tools. In many occasions it doesn't have an on-board OS needed by verification tool.