There are degrees of verifiability. A C-like language with imperfect but stronge...

		eli_gottlieb on March 25, 2012 \| parent \| context \| favorite \| on: "BitC isn't going to work in its current form" There are degrees of verifiability. A C-like language with imperfect but stronger verifiability (for example, with a strong, formalized type system) is still more verifiable (admits the proof of more theorems via static analysis) than C.