mesa | Actor-based Runtime Verification Tool

by NASA-SW-VnV Scala Version: Current License: Non-SPDX

X-Ray Key Features Code Snippets Community Discussions Vulnerabilities Install Support

kandi X-RAY | mesa Summary

mesa is a Scala library. mesa has no bugs, it has no vulnerabilities and it has low support. However mesa has a Non-SPDX License. You can download it from GitHub.

MESA is a framework that provides runtime verification of distributed systems in a nonintrusive manner. It checks a trace of the system under test against properties of interest, expressed in state machines and linear temporal logic formulas, where the trace is a sequence of messages entailing information about the run of the system. MESA is written in Scala, and employs the actor programming model, as implemented in the Akka framework. Finally, using asynchronous communicating actors to capture properties, it allows for decentralized monitoring of the system.

Support

Quality

Security

License

Reuse

Support

mesa has a low active ecosystem.

It has 0 star(s) with 0 fork(s). There are 3 watchers for this library.

It had no major release in the last 6 months.

mesa has no issues reported. There are no pull requests.

It has a neutral sentiment in the developer community.

The latest version of mesa is current.

Quality

mesa has no bugs reported.

Security

mesa has no vulnerabilities reported, and its dependent libraries have no vulnerabilities reported.

License

mesa has a Non-SPDX License.

Non-SPDX licenses can be open source with a non SPDX compliant license, or non open source licenses, and you need to review them closely before use.

Reuse

mesa releases are not available. You will need to build from source code and install.

Top functions reviewed by kandi - BETA

kandi's functional review helps you automatically verify the functionalities of the libraries and avoid rework.
Currently covering the most popular Java, JavaScript and Python libraries. See a Sample of mesa

Get all kandi verified functions for this library.

mesa Key Features

No Key Features are available at this moment for mesa.

mesa Examples and Code Snippets

No Code Snippets are available at this moment for mesa.

Community Discussions

No Community Discussions are available at this moment for mesa.Refer to stack overflow page for discussions.

Community Discussions, Code Snippets contain sources that include Stack Exchange Network

Vulnerabilities

No vulnerabilities reported

Install mesa

You can download it from GitHub.

Support

For any new features, suggestions and bugs create an issue on GitHub. If you have any questions check and ask questions on community page Stack Overflow .

Find more information at: