Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Start Free
Go From AI Idea to AI App Fast
One platform to build, fine-tune, and deploy ML models. No MLOps team required.
Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
Visualization of finitestate machines as a network graph. Accepted input files at the moment are: net files exported from xfst (Xerox Finite-State Tool) and lexc files (Finite-State Lexicon Compiler).
Waters - the Waikato Analysis Tool for Events in Reactive Systems.
This software will enable users to create finite-state machine models in a graphical user interface, to simulate their execution, and to apply model checking algorithms to them.
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You 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.
Paxion is a graphical editor for Büchi automata (a special kind of finitestate automata), written in Java. The ultimate goal is to provide a graphical frontend for several modelcheckers but it can already be used as a standalone editor of automata.
NunniFSMGen generates a FSM (FiniteState Machine) in Java, C or C++ starting from a transition table. NunniFSMGen cleanly separates logic from implementation by using a modified version of the state pattern, easing the development process!
It's new technology for Development Personal Creation/Customization Services ,
based on XML standard and DAFSM (FiniteState Machine Theory) , using multiple call control protocols.
Chiron is a backend framework to generate applications. It generates persistent code from xmi files, based on prevayler.
The generated code can use a simple but powerfull collection search framework and a finitestate machine based controller.
JStateMachine is designed to control user interfaces (Swing and Servlet/JSP) by treating the UI as a well-defined finitestate machine. It is MVC-like and supports access control, exception handling, I18N and rapid prototyping.
OpenAI is dedicated to creating a full suite of highly interoperable Artificial Intelligence components that make the best use of today's technologies. Current tools include Mobile Agents, Neural Networks, Genetic Algorithms and FiniteState Machines.
Tool for generete testcasesPresents a proposal to employ use cases to estimate the test effort and to create a finitestate machine for model-based test case generation.