FM Thesis
Blogging my MS thesis on formal methods
Site Map
LinLog
LnBlog
FM Thesis
Projects
The Joy of ROX
Location
FM Thesis
Archives
2006
February
Archives for February 2006
Catching back up
Evaluating FM
A software experiment and an analysis of CICS
One IFM volume down
Back to the IFM
First extended example
Z preconditions
Trying to grok promotion
Boy, I'm slacking
Time for review
Show all entries at once
|
Back to archive of 2006
Recent Entries
Back to posting
Yipe! It's been too long
Reading and research
Time to get back to posting
Catching back up
Evaluating FM
A software experiment and an analysis of CICS
One IFM volume down
Back to the IFM
First extended example
Show home page
Search
Search this weblog
Topics
Z
Research
Experiments
Light-weight FM
VDM
Outline
User Login
About Me
Contact the author