| From: Shriram Krishnamurthi (sk at cs.brown.edu) Date: Thu Dec 14 11:21:50 EST 2006 |
|
One of the few efforts I know along these lines is the work by Licata and me: http://www.cs.brown.edu/~sk/Publications/Papers/Published/lk-verif-inter-web-prog/ Verifying Interactive Web Programs Daniel R. Licata, Shriram Krishnamurthi IEEE International Symposium on Automated Software Engineering, 2004 Shriram
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}