Viewing profile — jayaprabhakar

I've been building an open source formal methods system (fizzbee.io) for the past few years. Today I'm launching a new app built on the same technology. It performs requirements en…

Thanks a lot. It does handle concurrency. https://fizzbee.io/testing/tutorials/quick-start/#parallel-t... Sequential logic is generally easier to test (also concurrency testing of …

Thanks. Please give it a try, and let me know if you have any issues. I'd be happy to help.

Glad you have tried FizzBee before. Do you have any feedback on it? With TLA+, I mostly see papers and example projects that typically implement model based trace checking solution…

GitHub: https://github.com/fizzbee-io/fizzbee-mbt-examples Quick Start: https://fizzbee.io/testing/tutorials/quick-start/ Most developers agree testing is important. At the same ti…

Microsoft backed this $1.5 billion AI startup that was just discovered to be 700 engineers pretending to be AI

One issue with the current proponents of formal methods is, they want to claim others who don't use formal methods as "lazy" or "dumb" and want to claim their superiority because t…

Have you tried FizzBee, it uses python dialect itself for specification?

Have you tried FizzBee.io? It has a python-like syntax. Take a look at the example. https://fizzbee.io/examples/two_phase_commit_actors/#complet... Formal methods don't have to be …

Those are pure drawing tools. *Tools like draw.io, Lucidchart, and Excalidraw excel at creating raw diagrams through drag-and-drop interfaces. However, they often become cumbersome…

When designing a distributed system, creating and maintaining design documents with diagrams is time-consuming. FizzBee, our formal methods system, simplifies this process by gener…

TLA+ is 25 years old. Despite the power it's syntax is too alien to become mainstream. Have you considered https://FizzBee.io ? Almost Python-like syntax, has more powerful semanti…

Putin signed a decree that Russia would welcome foreigners wanting to escape Western liberal ideals. Applicants may include those from countries unaligned with "Russian spiritual a…

A principal researcher at Confluent explains Apache icebergs consistency model. Also shows the formal modeling using a Python'ish language FizzBee to find bugs.

https://FizzBee.io is not just a syntax transpiler, but a complete implementation. It uses starlark language (a Python variant) for specification. In addition to behavioral modelin…

This looks cool. The UI animation is good. Looking forward for more such games. A few minor feedbacks. 1. Even on phones, it leaves a lot of margin/padding, and the boxes are a bit…