VerifyThus is created and maintained by Vladimir Klebanov with help from Sarah Grebing. Feel free to send email with questions, issues or suggestions. VerifyThus is a product of the COST Action IC0701 "Formal Verification of Object-oriented Software". The image on the front page depicts the so called Studley Tool Chest created by Henry O. Studley (1838-1925), who was an American organ and piano maker. |