Community Package Repository Notification
Your use of the packages on this site means you understand they are not supported or guaranteed in any way. Due to the nature of a public repository and unreliability due to distribution rights, these packages should not be used as is for organizational purposes either. Learn more.
Search for "tag:verification" Returned 2
Displaying Results 1 - 2 of 2
TAPAAL is free software for modeling and verification of Petri nets.
Vera++ is a programmable tool for verification, analysis and transformation of C++ source code. Vera++ is mainly an engine that parses C++... Keep Reading