sxm 0.0.1

A Stream X-Machine library for formal modeling, visualization, and model-based testing.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

[dependencies]

[dev-dependencies]

[[example]]
name = "secure_door"
path = "examples/secure_door.rs"

[lib]
name = "sxm"
path = "src/lib.rs"

[package]
authors = ["Ruben <Ruben1729@users.noreply.github.com>"]
autobenches = false
autobins = false
autoexamples = false
autolib = false
autotests = false
build = false
categories = ["development-tools::testing", "science", "data-structures"]
description = "A Stream X-Machine library for formal modeling, visualization, and model-based testing."
documentation = "https://docs.rs/sxm"
edition = "2021"
keywords = ["state-machine", "model-based-testing", "formal-methods", "sxm", "testing"]
license = "MIT OR Apache-2.0"
name = "sxm"
readme = "README.md"
repository = "https://github.com/Ruben1729/sxm/"
version = "0.0.1"