Publications (2)0 Total impact
-
Article: Proceedings 13th International Workshop on Verification of Infinite-State Systems
[show abstract] [hide abstract]
ABSTRACT: This volume contains the proceedings of the 13th International Workshop on Verification of Infinite-State Systems (INFINITY 2011). The workshop was held in Taipei, Taiwan on October 10, 2011, as a satellite event to the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA). The INFINITY workshop aims at providing a forum for researchers who are interested in the development of formal methods and algorithmic techniques for the analysis of systems with infinitely many states, and their application in automated verification of complex software and hardware systems.11/2011; -
Conference Proceeding: Modular verification of web services using efficient symbolic encoding and summarization.
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008; 01/2008
Top co-authors
Institutions
-
2011
-
National Chengchi University
Taipei, Taipei, Taiwan
-
-
2008
-
University of California, Santa Barbara
Santa Barbara, CA, USA
-
