« Category Theory without Objects | Main | Seasonal variation in the numbers of Delia Platura »
Friday
Oct112019

Alloy Talk

DateFri 2019-10-11

Here is a good recent talk by Jay Parlar on using the Alloy Analyzer to find bugs in software designs.

AuthorTristram Brelstaff | CommentPost a Comment |
in , ,

Reader Comments

There are no comments for this journal entry. To create a new comment, use the form below.

PostPost a New Comment

Enter your information below to add a new comment.
Author Email (optional):
Author URL (optional):
Post:
 
All HTML will be escaped. Hyperlinks will be created for URLs automatically.

Notify me of follow-up comments via email.