How jawsome ((Jawsome is the international abbreviation of jaw-droppingly awesome. Yes, I made that up.)) is this? Backstreet Boys are following me on Twitter. They follow less than 7500 people and have almost 300000 followers, yet they decide to follow moi, who until this wasn’t even following them. I’m famous by association! So what if […]
Presentation I’ll give right now! How to add time to Declare by translating to timed LTL and timed automata. Also how we can use this to give a priori advice concerning time, detect errors, and support planning. Edit: There’s a slight error in the timed automaton shown; it allows going Backstage, then Getting Drunk, letting […]
Faced with the threat of work, I decided to rebrand Declare. I basically changed the name to lowercase (from typographically ugly and misleading DECLARE), changed the name of a few of the programs and some minor details. See all about the name change on the Declare website. So, that is pretty sensible. During this, I […]
Presentation introducing Declare and the new module concept conceived together with Bas Lijnen and implemented in Declare and iTasks. Also, new concert photos of Britney 😉 MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
It’s important to formally specify your protocol. Hence: You can see it’s formal because I added a gratuitous sigma. We implemented the protocol in two different tools, written in two different languages and after two minor tweaks, it worked. Thank you formal specification! MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Thus, the family decides to democratically decide whether to pay back the loan. Unsurprisingly the result is to continue as before and default on the loan, completely ignoring the liabilities they have accepted and signed for. […]