Search Results for "checker"
Sort By:
Showing 4 open source projects for "checker"
View related business solutions-
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
Veeam Data Platform v13.1Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
1
Event-B Generic Instantiation
A Rodin Platform Plug-in for Generic Instantiation
...Main features of the tool are as follows: - Generic Instantiation Files for storing information about generic instantiation. - Wizard for creating generic instantiation files. - Editor for generic instantiation files. - Static checker for generic instantiation files. - Performing generic instantiation by creating a new project based on a source project and generic instantiation files. -
2
-
3
Bogor-PubSub is a set of extensions to the Bogor model checker enabling accurate, automatic verification of Publish-Subscribe infrastructures.
-
4
Interactive Nullness Annotation Propagation Application - assists a developer with adding nullness annotations (i.e. JML) to Java source code. This makes it easier to use a checker like ESC/Java for statically identifying potential null pointer bugs.
-
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
- Previous
- You're on page 1
- Next
