system-validation
There are 3 repositories under system-validation topic.
leomaurodesenv/SysCGenerator
System to create own certificates and management events & participants
alex-rantos/System-Validation
A system validation model written in Promela
klangner/vanes
Library for building test boards for embedded CI development