(no subject)

Date: 2013-06-28 12:12 am (UTC)
zorkian: Icon full of binary ones and zeros in no pattern. (Default)
From: [personal profile] zorkian
I don't know half of what you were talking about, but I'm fascinated and excited that you wrote about it here! And congratulations on the paper acceptance!

When you say model checker for a Java program... is this in the vein of verifying correctness of a program, i.e., provably saying that it actually does X? Or is this more like, "this program models an airplane" and then "this checker verifies that the program models an airplane"? I've some experience with the idea of the former, and of course, the latter sounds somewhat close to the idea of unit testing (except at a more meta level?).
From:
Anonymous( )Anonymous This account has disabled anonymous posting.
OpenID( )OpenID You can comment on this post while signed in with an account from many other sites, once you have confirmed your email address. Sign in using OpenID.
User
Account name:
Password:
If you don't have an account you can create one now.
Subject:
HTML doesn't work in the subject.

Message:

If you are unable to use this captcha for any reason, please contact us by email at support@dreamwidth.org


 
Notice: This account is set to log the IP addresses of everyone who comments.
Links will be displayed as unclickable URLs to help prevent spam.

Profile

purplecat: Hand Drawn picture of a Toy Cat (Default)
purplecat

April 2019

S M T W T F S
 1 234 5 6
7 8 91011 12 13
14 15 16 17 18 19 20
21222324252627
282930    

Tags

Style Credit

Expand Cut Tags

No cut tags