Log in

No account? Create an account

methinks someone was busy while he was sick

My professor was recently out sick for a week. He just put the new programming assignment online.

? :)


I try to help people describe what they want a computer system to do for them in way that they can read and understand, and also a way that a computer can do processing on. I do this by pairing a disciplined English description of the behavior they're trying to describe with a graphical mathematical language description of the desired behavior. When the user edits either the English or the mathematical model, the other view changes to match, hopefully helping the user to better understand what they're telling the computer to make sure to do.

jcobleigh takes the finished description of the behavior and tries to prove (i.e. "verify") that the computer system will obey that behavior in all possible paths that an execution could take through the system. If some path will violate that desired behavior, he can produce a counter-example that illustrates that path.