FM Thesis

Blogging my MS thesis on formal methods

Site Map

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

Location

• FM Thesis
• Tags
• VDM

Entries filed under: VDM

• Catching back up

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