Tag: gematik
-
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.