26 search results - page 6 / 6 » Modeling Morphologically Rich Languages Using Split Words an... |
SCP
2010
13 years 2 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...