Browsing Academic by Subject "Java"
Now showing items 1-1 of 1
-
VALID-2: A practical modeling, simulation and verification software for distributed systems
( IEEE , 2004 , Conference Paper)Distributed systems verification is one of the main issues in software engineering. It is considered as the major field of the formal specification techniques. However, many difficulties remain. In fact, the principal ...