Expand description
Parser and model builder for SCAN’s SCXML specification format.
This crate is part of the SCAN statistical model checker
Re-exports§
pub use scan_core;
Parser and model builder for SCAN’s SCXML specification format.
This crate is part of the SCAN statistical model checker
pub use scan_core;