“GOAL for Games, Omega-Automata, and Logics” by Ming-Hsien Tsai, Yih-Kuen Tsay, and Yu-Shiang Hwang has been presented at CAV 2013 in St. Petersburg, Russia. (posted 2013/07/29)

Yih-Kuen Tsay gave an invited talk “Playing Games with GOAL and Büchi Store” at SYNT 2013, an affiliated workshop of CAV 2013. (posted 2013/07/29)

“Büchi Store: An Open Repository of ω-Automata” (journal version of the TACAS 2011 paper) by Yih-Kuen Tsay, Ming-Hsien Tsai, Jinn-Shu Chang, Yi-Wen Chang, and Chi-Shiang Liu has been published in STTT. (posted 2013/07/29)

A third INER-commissioned project “Formal Techniques for the Development and Verification of Computerized Nuclear Instrumentation and Control Systems” started from February 7, 2013. (posted 2013/07/29)

The GOAL tool continues to improve and its most recent version is 2012-04-09. (posted 2012/07/29)

A second INER-commissioned project “On Verifying the Safety Functions of Software Modules in Computerized Nuclear Instrumentation and Control Systems” started from February 13, 2012. (posted 2012/07/29)

We started a project “On Certification of Safety Functions in Computerized Nuclear Instrumentation and Control Systems Development” commissioned by INER on January 1, 2011. (posted 2011/01/08)

The paper “Büchi Store: An Open Repository of Büchi Automata” by Yih-Kuen Tsay, Ming-Hsien Tsai, Jinn-Shu Chang, and Yi-Wen Chang has been accepted to TACAS 2011. (posted 2010/12/13)

The paper “State of Büchi Complementation” which Ming-Hsien Tsai and Yih-Kuen Tsay co-author with Seth Fogarty and Moshe Vardi at Rice Univ. was recently presented at CIAA 2010 in Winnipeg, Canada. The proceedings will be published by Springer as an LNCS volume. (posted 2010/09/29)

The paper “Automated Assume-Guarantee Reasoning through Implicit Learning” which Ming-Hsien Tsai and Yih-Kuen Tsay co-author with Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, and Bow-Yaw Wang has been accepted by CAV 2010, to be held in Edinburgh, UK in July as a member conference of FLoC 2010. (posted 2010/04/03)

The paper “Automatic Numeric Abstractions for Heap-Manipulating Programs” which Ming-Hsien Tsai and Yih-Kuen Tsay co-author with Stephen Magill and Peter Lee at CMU is to be presented at POPL 2010 in Madrid, Spain. (posted 2009/11/19)

Yu-Fang Chen has recently assumed his post as an assistant research fellow at the Institute of Information Science, Academia Sinica. Congratulations to Yu-Fang! (posted 2009/11/19)

The FLOLAC 2009 summer school, which SVVRL helped organize, is taking place on the NTU campus till July 10. (posted 2009/7/5)

Yu-Fang Chen, first Ph.D. student of SVVRL, graduated on April 40. Congratulations to Yu-Fang! He is now visiting Uppsala University in Sweden as a postdoctoral researcher. (posted 2009/5/23)

Yu-Fang Chen's recent paper on automated compositional verification has been accepted to TACAS 2009; the paper is a joint work with Ed Clarke et al. (posted 2008/12/20)