Data Ingestion Pipeline Verification: TLA+ vs P vs FizzBee

88 views

Skip to first unread message

Elina Mäkinen

unread,

Nov 15, 2024, 4:57:52 AM11/15/24

to tlaplus

I'm exploring formal methods for verifying a data ingestion pipeline. I'm particularly interested in TLA+, P, and FizzBee. Could anyone share their experiences or insights comparing these three tools? I'd appreciate any information on their strengths, weaknesses, and key differences.

Reply all

Reply to author

Forward

0 new messages