Cheat Engine

[Aviar³]

Decided if I am going to learn some formal method, I might as well start light, with Alloy, and eventually transition to something more commonly used such as OCL (Object Contraint Language). Looked at Event-B, Z, VDM, and such, but all were too mathematically oriented (takes too damn long to get results), had only a bit of tool support, and too much learning overhead (which is important when one has about ten other things to do).

Also, what am I doing with Alloy? Exploring game design using formal methods.

/bandwagon

Now its SlugSnacks turn to tell us what he is doing.

Side Note: I hate how Alloy 3 to Alloy 4 just seems to have been Alloy caving in to popular demand, and shifting to what appears to me as common programming concepts (ints and other data types, premade structures, etc.). Now I know what you are going to say SlugSnack, programming languages have to consider usability, but I imagined Alloy as a formal language, with a specific purpose and structure (focused on relationships), not as catering to any idiots modelling mentality (I need numbers to be able to model unique sequences because I cannot figure out how to model using set of items, which then has a relationship between items indicating that no two items are the same).