Search Results for "checker"
Sort By:
Showing 5 open source projects for "checker"
View related business solutions-
Already Paying for an RMM? Get 50% Off Splashtop AEMAutomated OS and third-party patching for Windows and macOS, CVE prioritization with AI patch summaries, and built-in remote control that also supports Linux. Qualifying organizations switching from another RMM get up to 50% off year one.
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
1
Pure C99 Quadratic Sieve 230-bit minute, RSA-100 factored, easily accessible on Windows and Linux. Hello and welcome at sourceforge.net, i'm your student at Université de Franche-Comté, Mon, 11 Jul 2022. This ~2500 lines Pure C factorization software : - is imediately compatible with Microsoft Windows, Linux (no one dependancy) - is a C99 command line factorizer from 0 to 300 bits (330 bits were factored in the lab) - is built so that you can easily use and test the software -...
-
2
VeriSiMPL
Verification via biSimulations of Max-Plus-Linear models
...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. If you are more familiar with JAVA language, we suggest you to try VeriSiMPL version 2.0 which is fully based on JAVA. ... -
3
ntccKMC
ntccKMC: A Kripke-structure-based model checker for ntcc
ntccKMC: A Kripke-structure-based linear-time-logic model checker for the Non-deterministic Timed Concurrent Constraint Programming (ntcc) calculus. Inspired by Jaime Arias' Python implementation and algorithms and Avispa's ntcc interpreter Developed by Mauricio Toro under Colciencia's React+ of the Avispa research group. -
4
The ntcc bounded-time Model Checker
to prove if a CLTL formula satisfy a ntcc process
The ntcc bounded-time model checker allow you to check if constraint linear time (CLTL) formulae satisfy a Non-deterministic Times Concurrent Constraint (ntcc) processes. Try it! -
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.
-
5
- Previous
- You're on page 1
- Next
