9. FMCAD 2010:
, Natasha Sharygina
(Eds.): Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23.
: Embedded systems design - Scientific challenges and work directions.
: Automatic verification of estimate functions with polynomials of bounded functions.
: A framework for incremental modelling and verification of on-chip protocols.
: Large-scale application of formal verification: From fiction to fact.
: Modular bug detection with inertial refinement.
Malay K. Ganai
: Propelling SAT and SAT-based BMC using careset.
, Malay K. Ganai
, Aarti Gupta
, Franjo Ivancic
, Vineet Kahlon
, Weihong Li
, Naoto Maeda
, Nadia Papakonstantinou
, Sriram Sankaranarayanan
, Nishant Sinha
, Chao Wang
: Scalable and precise program analysis at NEC.
: Achieving earlier verification closure using advanced formal verification.
: PINCETTE - Validating changes and upgrades in networked software.