FM Thesis

Blogging my MS thesis on formal methods

Site Map

• LinLog
• LnBlog
• FM Thesis
• Projects
• The Joy of ROX

Location

• FM Thesis
• Tags
• Research

Entries filed under: Research

• Back to posting
• Yipe! It's been too long
• Reading and research
• Catching back up
• Evaluating FM
• A software experiment and an analysis of CICS
• One IFM volume down
• Back to the IFM
• Z and IFM
• Predicate logic review
• Catching back up
• FM on Slashdot?
• Short day
• Starting the Internation Survey
• 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

Display all entries at once

Older Entries

• Z preconditions
• Trying to grok promotion
• Boy, I'm slacking
• Time for review
• Sequences in Z
• Only one chapter
• Z and IFM
• Getting into Z
• Predicate logic review
• Catching back up
• Show home page

Search

Topics

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

User Login

About Me

Contact the author