☰

FM Thesis

Blogging my MS thesis on formal methods

Site Map

  • LinLog
  • LnBlog
  • FM Thesis
  • Projects
  • The Joy of ROX
Close menu ×

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

News Feeds

  • RSS 2.0 feed RSS 2.0 feed

User Login