It is downright scary how accurately PhD comics keep documenting my life:

(I am on holidays all of December to play with my Little One, during the day. Which effectively means that I work from home and at night four days per week, and only go one day per week to university... Oh well. Did I mention the guy in the comic is named Mike?)

UPDATE 2010-01-14: Two More...

We have released version 1.5 of LTSmin. The following improvements have been implemented:

• New frontend DVE (requires DiVinE-cluster)
• Bignum support for state counts in spec-reach tools
  (Jeroen Ketema)
• spec-reach clean-up
• 'tree' vector set implementation based on AtermDD

The source code, installation instructions and manuals are available online:

LTSmin is currently being developed by the Formal Methods and Tools group at the University of Twente, The Netherlands.

The previous release was LTSmin 1.4.

Mikel Evins has released Apis, a sample Common Lisp Cocoa application using CCL's Cocoa bridge. Obligatory screenshot:

For what it's worth, Mikel also provides Atta, which is a similar project but based on Gambit Scheme.

We have released version 1.4 of LTSmin. The following improvements have been implemented:

• New tool ce-mpi for distributed cycle elimination (Simona Orzan)
• New tool ltsmin-tracepp for pretty-printing traces to deadlock states
• TorX support factored out into separate tools {lpo,lps,nips}2torx
• Enumerative DFS support
• Enumerative deadlock detection and trace output
• Reworked ETF support (non-backwards compatible)
• bash completion for LTSmin tools (see contrib/bash-completion/)

The source code, installation instructions and manuals are available online:

LTSmin is currently being developed by the Formal Methods and Tools group at the University of Twente, The Netherlands.

The previous release was LTSmin 1.3.

Finally, here she is! Both, baby and mama are fine.

Happy 0th Birthday, Vanessa!