Ruthwik krishnaWhat is Formal Methods ?🧐In software and hardware systems, ensuring that everything works as expected is critical, especially in industries where even a small…3d ago3d ago
Afzal Badshah, PhDIntroduction to Formal Methods in Software EngineeringIn Software Engineering, the development of reliable and robust systems is crucial, especially for mission-critical applications like…Sep 2Sep 2
Gregory TerzianRe-fixing Servo’s event-loopA follow-up on a previous story, in which we identify another problem, and perhaps confirm a theory through a theorem.Aug 13Aug 13
Valeri RakitineThe Peak of the Abyss: Code-Centric Programming as a Path to Self-DestructionArt chooses you, not the other way around. The same applies to programming. Programming is an art, and it chooses you — if you’re lucky.Aug 10Aug 10
InferaraSpecifying Algorithms Using Non-Deterministic ComputationsIn this article, we will discuss the use of the formalism of non-deterministic computations as a language for specifying algorithms…Jul 4Jul 4
InferaraCommit to marriage with TLA+ pt.2To demonstrate the practical feasibility of the formalism proposed to the public in a series of papers we published, we are currently…May 2May 2
meinHow to model a toggle-able graph network? — Part 1The road ends at formal software design with Alloy. And teaches me the expressive language of set theory.Apr 30Apr 30
InferaraDo not die hard with TLA+ pt.1We have just begun posting a series of introductory blog posts about TLA+ and the first one is ready to go. So if you haven’t tried TLA+…Apr 10Apr 10