Find link

language:

Find link is a tool written by Edward Betts.

searching for NuSMV 2 found (9 total)

alternate case: nuSMV

Rebeca (programming language) (252 words) [view diff] exact match in snippet view article

input languages of well-known and mature model checkers (like SPIN and NuSMV) and thus, were able to verify their properties. Rebeca, since 2005, is

List of Unified Modeling Language tools (840 words) [view diff] exact match in snippet view article find links to article

Composite Structure only No Yes Yes Java, Python, PHP, C++, SQL, Alloy, NuSMV, yUML, USE Java Command-line tools, Embeddable in web pages, Eclipse Input