Automation and Formal Testing
2010-05-24 06:00 Whether it's solving tedious or repetive tasks, helping automate a program or function, or developing formal testing to ensure correctness, Method Logic Digital can help.Method Logic Digital has experience building programmatic interfaces where they were not imagined to be. An automated X11 window manager? Sure. Network service robots? Yes. Simplifying interfaces to complex libraries? Done.
We can also help you develop test harnesses to provide proof-of-correctness for your projects, and to ensure regression bugs don't enter the picture. Peace of mind for your development, and your clients.