Vital Mission Software was a company owned and operated by Keith Harwood for the sole purpose of getting him a living. He started in Software Engineering long before it was called Software Engineering and in nearly fifty years of experience has performed nearly every possible role in research and development environments. The company has now ceased trading, but Keith is available for occasional small jobs, a week or a month at most.
He has designed hardware and software (granted patents in both), led development teams, managed a three year research program, tested, debugged and documented other peoples' software, captured requirements, written specifications and generally become an old fart in the best traditions of software engineering.
What can he do for you? If you have any problem with software see here.
Vimes is a type checker for Z specifications. Z is a standard (ISO-13568) language for writing formal specifications of systems, principally, but not necessarily, software systems. You can download a copy of Vimes here.