Search Results for "state-thread" - Page 2
Sort By:
Showing 32 open source projects for "state-thread"
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.
-
Stop vibe-debugging.AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
-
1
JAMT provides an easy way to create UML diagramms. In the first version it is possible to model class diagramms. State and activity diagramms are planned. Future extensions of JAMT could be code generation and design patterns assistance.
-
2
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.
-
3
Paxion is a graphical editor for Büchi automata (a special kind of finite state 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.
-
4
A software system will reasonable change its state during runtime. We call this system behavior, which can be described with UML2 state charts. The aim of Talante is to provide a code generator and a runtime platform to make UML2 state charts executable.
-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
5
Fundamental Types is a library of immutable, thread-safe, highly concurrent, common domain model classes and associated formatters and taglibs.
-
6
This project starts to create an open tool for creating, manipulating and visualizing DTDs (in a later state it should work also with other other specification languages such as XML Schema and RELAX NG).
-
7
This is a little Java Swing applications that lets you draw Finite State Machines (FSMs) and generates portable ANSI-C source code.
