Learning to verify branching time properties

By Vardhan Abhay   Viswanathan Mahesh  

Formal Methods in System Design, Vol. 31, Iss. 1, 2007-08 ,pp. : 35-61

Springer Publishing Company

Access to resources Recommend Favorite

The use of guidelines to automatically verify Web accessibility

By Abascal Julio  

Universal Access in the Information Society (UAIS), Vol. 3, Iss. 1, 2004-03 ,pp. : 71-79

Springer Publishing Company

Access to resources Recommend Favorite

Using induction and rewriting to verify and complete parameterized specifications

By Bouhoula A.  

Theoretical Computer Science, Vol. 170, Iss. 1, 1996-12 ,pp. : 245-276

Elsevier

Access to resources Recommend Favorite

Constructing formal rules to verify message communication in distributed systems

By Babamir Seyed  

The Journal of Supercomputing, Vol. 59, Iss. 3, 2012-03 ,pp. : 1396-1418

Springer Publishing Company

Access to resources Recommend Favorite

A formal approach to model and verify the behaviour of publish/subscribe architectural style

By Kacem Hatem Hadj  

International Journal of Information Technology, Communications and Convergence, Vol. 2, Iss. 3, 2012-11 ,pp. : 234-252

Inderscience Publishers

Access to resources Recommend Favorite