| name | description | url | logo | locations | consortium | featured | |
|---|---|---|---|---|---|---|---|
TrustInSoft |
TrustInSoft is a company that changes the rules in cybersecurity. TrustInSoft is the software publisher of the software analysis Frama-C platform.
|
users/trustinsoft.png |
|
false |
true |
TrustInSoft is a company that changes the rules in cybersecurity. TrustInSoft is the software publisher of the software analysis Frama-C platform. Our motto is simple: make the formal methods accessible to the majority of software developers.