LTL Model-checking in ASAP

I just finished integrating LTL model-checking into ASAP.  This is joint work with Sami Evangelista and Thomas Vestergaard.  Basically, I've made the translation from LTL to a Büchi automaton, Sami made the nested depth-first checker, and Thomas put it together, added a bunch of utility functions, and made the initial integration into ASAP.  After that […]

Read More… from LTL Model-checking in ASAP

New CD from Alizée

Alizée recently released her fourth album (not counting the live album “Alizée En Concert”), named “Une Enfant du Siècle”, which translated more or less is “A Child of the Century”.  When I say more or less it’s because it’s named similarly to her own artist name, Alizée, which is the feminine form of “alizé” or […]

Read More… from New CD from Alizée

Cute Chrome

The new Parallels (from March 9) has very neat support for Google’s Chrome OS.  Simply go to the menu, select Download Chrome OS: And the download starts automatically, automatically setting up the VM: Whick boots to login in less that 5 seconds and goes to the main screen in less than 2 seconds after login […]

Read More… from Cute Chrome