Search Results for "vsr"
Sort By:
Showing 2 open source projects for "vsr"
View related business solutions-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
1
tigerbeetle
The financial transactions database designed for mission critical safe
TigerBeetle is production-ready on Linux and seamlessly integrated with major programming languages. TigerBeetle is a financial transactions database designed for mission-critical safety and performance to power the next 30 years of OLTP. TigerBeetle redesigns the distributed database storage engine and consensus protocol for the OLTP workload. This solves the problem of OLTP write contention to unlock three orders of magnitude more performance than a general purpose (OLGP) database. The... -
2
The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)
- Previous
- You're on page 1
- Next
