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.