Search Results for "temporal logic"
Sort By:
Showing 2 open source projects for "temporal logic"
View related business solutions-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
Atera - an All-in-one platform for IT managementYour IT essentials, integrated & elevated. Take your IT management from automated to autonomous, download Atera's agent to start your free trial!
-
1
VeriSiMPL
Verification via biSimulations of Max-Plus-Linear models
...The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). The toolbox intends to leverage the NuSMV model checker. Models are to be expressed in the C++ language. The abstraction procedure runs in C++. The generated LTS is exported to the NuSMV language. As such, it can be fed, along with a specification of interest, to the NuSMV model checker. ... -
2
HIStream
A realtime HL7 stream based clinical decision support system
HIStream is a clinical decision support system designed to operate on data streams. Rules can be specified using (fuzzy) logic formulas with temporal extensions (e.g. creatinine level high at least 3 days after surgery). All incoming clinical data can be stored in an integrated data warehouse (using postgresql). Additionally, incoming data can be forwarded to the clinical data warehouse project i2b2. THIS PROJECT IS CURRENTLY IN DEVELOPMENT. FIRST BETA RELEASE WILL BE PUBLISHED JUNE 2015.
- Previous
- You're on page 1
- Next
