sysml-v2-parser 0.22.0

SysML v2 textual notation parser for Rust
Documentation 
1
2
3
4
5
6

package VerificationAttributeDemo {
	verification def CountCheck {
		subject system : System;
		attribute count : Integer = 0;
	}
}