Formal Varification Studies
AoA to the blog…
Rather replying on yahoo mail i preferred to continue on this blog as the benifits we all know :)… so Mr. MM is also interested in the combined study of formal verification so me and noman has decided to hav a meeting on Saturday morning… the timings will be posted on friday INSHALLAH… I am interested in more basic stuff first coz i dont hav previous knowledge of these verification type of things (all of us dont hav :)… so i ll inform masoom about the meeting and we ll hav the same voice conference over here in my office….
We went to Amin yesterday he has improved alot now and hopefully he ll join us in a month time INSHALLAH…
Noman is supposed to come to my office on wedensday morning to prepare the system for downloads and other archiving purposes… more after a break..
Take care.
AH
No comments yet.
Leave a comment
Search
Recent Comments
- Khushal Khan on Dynamic Behavioral Attestation for Mobile Platforms
- Dynamic Behavioral Attestation for Mobile Platforms - Project « recluze on DBAMP
- shazkhan on Backing up OpenMoko FR before bricking it and getting your custom kernel and rootfs onto it …
- shazkhan on Getting Java on Openmoko
- shazkhan on A Standardized .bib File
Archives
- January 2009 (1)
- December 2008 (1)
- November 2008 (7)
- October 2008 (4)
- September 2008 (2)
- August 2008 (4)
- July 2008 (1)
- June 2008 (5)
- January 2008 (5)
- December 2007 (5)
- November 2007 (5)
- October 2007 (3)
- September 2007 (6)
- August 2007 (14)
- July 2007 (25)
- June 2007 (24)
- May 2007 (33)
- April 2007 (70)
Categories
- Achievements (7)
- Announcements (17)
- Blogroll (1)
- Conferences (11)
- Formal Methods (8)
- Ideas (11)
- Isabelle (6)
- Linux (18)
- News (28)
- Publications (1)
- Resources (31)
- SELinux (10)
- Trusted Computing (11)
- Uncategorized (106)