Search Results for "tccs"
Sort By:
Showing 2 open source projects for "tccs"
View related business solutions-
Stay productive working at any distance from anywhere with Monitask.
-
Over two-thirds of people reuse passwords across sites, resulting in an increasingly insecure e-commerce ecosystem. Learn how passwordless can not only mitigate these issues but make the authentication experience delightful. Implement Auth0 in any application in just five minutes
-
1
Concurrency Workbench NC
Automatic verification of concurrent software systems
The Concurrency Workbench of the New Century (CWB-NC) provides support for the automated verification of concurrent software systems. The tool allows the user to write a description of the system at hand in one of several design languages (CCS, CSP, LOTOS, PCCS, SCCS, TCCS). Furthermore it supports a variety of automated verification and analysis techniques to check whether the system adheres to its specifications. Among the verification and analysis techniques are: - Behavioral-Relation... -
2
Parser of `tc class` output; shows current classes usage based on "rate" value, using "parent" infomation to create hierarchical tree of them, so that it can display statistics with given recursion limit. Supports classid translation. Watch your queues!
- Previous
- You're on page 1
- Next