ligurio/practical-fm

@ligurio

Eine sorgfältig zusammengestellte Liste von Unternehmen, die formale Verifikationsmethoden in der Industrie einsetzen

↗ Auf GitHub öffnen

Sterne

610

Forks

Sprache

—

Lizenz

—

Letzter Push

vor 6 Monaten

coq formal-methods formal-verification tlaplus software-engineering practice formal-verification-methods tla-specification

Noch keine verwandte Intel

Dieses Repo ist noch in keiner der vom Radar verfolgten Quellen aufgetaucht. Der Collector läuft nach Zeitplan — schau wieder vorbei, sobald er dieses Repo abdeckt.

Verwandte Intel (0)

Noch keine verwandte Intel