VMware Research
- 12 followers
- United States of America
- https://vmware.com
Popular repositories
-
verifiable-controllers
verifiable-controllers PublicThis is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.
-
emotet-loader
emotet-loader PublicEmotet Loader helps execute Emotet modules in isolation. Emotet is one of the most active botnets, that delivers its modules, such as credit card stealer or SMB spreader, to the user machines. Emot…
-
temporal-verifier
temporal-verifier PublicAn experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition systems in first-order logic and verify temporal correctness p…
Repositories
- verifiable-controllers Public
This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.
- temporal-verifier Public
An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition systems in first-order logic and verify temporal correctness properties, including safety and liveness.
- emotet-loader Public
Emotet Loader helps execute Emotet modules in isolation. Emotet is one of the most active botnets, that delivers its modules, such as credit card stealer or SMB spreader, to the user machines. Emotet Loader allows to run the modules separately from the core component and help analyzing their behavior.
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…