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
• January

Archives for January 2006

• Sequences in Z
• Only one chapter
• Z and IFM
• Getting into Z
• Predicate logic review
• Catching back up
• FM on Slashdot?
• Short day
• Starting the Internation Survey
• Idea elaboration
• Two ideas
• Time to solidify a topic
• Research mind-map
• I'm done abstracting
• Starting the paper
• A preliminary research list
• The electronic articles are done!
• The electronic documets: day 3
• Adding to the research map
• Getting started

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

Topics

• Z
• Research
• Experiments
• Light-weight FM
• VDM
• Outline

User Login

About Me

Contact the author