Tag: TLA+
-
Formal architecture verification in practice
by
When we want to make sure that our code works as expected, we write tests like unit tests or integration tests to verify that. But these tests can only point out certain errors, they cannot guarantee the absence of errors. Formal architecture verification can do just that, within the boundaries we define. Let’s look at a real…
-
Use Cases for Formal Architecture Verification
by
in diga, Digitale Gesundheitsanwendung, ePA, ePA für alle, formal architecture verification, formal verification, formale Architekturverifikation, gematik, Gesundheit, gesundheitsanwendung, Gesundheitswesen, health care, HIS, LIS, Medizinprodukt, Proof, QA, Qualitätssicherung, quality assurance, TLA+We have discovered Formal Architecture Verification as an affordable quality assurance (QA) measure that is suitable for a wide variety of applications. TLA+ is one of the most widespread technology in this context. Don’t let the dated looking project website fool you. For example Amazon reported using it for DynamoDB and other major players have…
You must be logged in to post a comment.