have you any experience with alloy? http://alloy.mit.edu/alloy/ http://alloy.mit.edu/alloy/ - that seems like it's aiming for a middle-ground somewhere between

have you any experience with alloy? http://alloy.mit.edu/alloy/ http://alloy.mit.edu/alloy/ - that seems like it's aiming for a middle-ground somewhere between coq and crossing your fingers.