- Philipp Rümmer, Pavle Subotic:
Exploring interpolants. FMCAD 2013: 69-76 - Divjyot Sethi, Srinivas Narayana, Sharad Malik:
Abstractions for model checking SDN controllers. FMCAD 2013: 145-148 - Saqib Sohail, Fabio Somenzi:
Efficient handling of obligation constraints in synthesis from omega-regular specifications. FMCAD 2013: 34-41 - Björn Wachter, Daniel Kroening, Joël Ouaknine:
Verifying multi-threaded software with impact. FMCAD 2013: 210-217 - Thomas Wahl:
The FMCAD graduate student forum. FMCAD 2013: 16-17 - Jijie Wei, Yan Peng, Ge Yu, Mark R. Greenstreet:
Verifying global convergence for a digital phase-locked loop. FMCAD 2013: 113-120 - Yifei Yuan, Anduo Wang, Rajeev Alur, Boon Thau Loo:
On the feasibility of automation for bandwidth allocation problems in data centers. FMCAD 2013: 42-45 - Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013. IEEE 2013 [contents]