Search Results for "checker"
Sort By:
Showing 2 open source projects for "checker"
View related business solutions-
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.
-
Paessler: Easy to Use With Enterprise Power. Free TrialYou shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
-
1
Academic Tech Toolbox
A collection of productivity tools for academic researchers.
...Want to know more by reading some of the sources referenced by the publication? This tool gives you the convenience of selecting a bunch of references at a time and looking them up in one go. Citation and reference checker: A tool for academics, students and, most of all, proofreaders. Helps identify wrong or missing references/citations in an academic text. Check it out here: https://sourceforge.net/projects/refs-checker/ OSD note: A simple but handy text editor for research notes, to-do lists, etc. https://sourceforge.net/projects/osd-note/ -
2
We are developing MIRACH, a Statistical Online Model Checker for Biological Pathway Models, based on the PLTLs formalism for expressing the rules/properties to be checked. MIRACH can currently check pathways models written either in CSML or SBML.
- Previous
- You're on page 1
- Next
