FMCAD 2007 is the seventh in a series of conferences on the theory and application of formal methods in hardware and system design and verification. In 2005, the bi–annual FMCAD and sister conference CHARME decided to merge to form an annual conference with a unified community. The resulting unified FMCAD provides a leading international forum to researchers and practitioners in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for formally reasoning about computing systems, as well as open challenges therein. FMCAD 2007 will include a full day of tutorials, and will be co–located with the ACL2 Workshop.<br><b>Keywords:</b> * Foundations: advancing industrial–strength technologies in model checking, theorem proving, equivalence checking, abstraction and refinement techniques, property–preserving reduction techniques, compositional methods, decision procedures, SAT– and BDD–based methods, combining deductive methods with decision procedures, and probabilistic methods.<br>* Verification applications: tools, industrial experience reports, and case studies. We encourage the submission of materials relating to novel and challenging industrial–scale applications of formal methods, including problem domains where formal methods worked well or even fell short. We also encourage submissions relating to the development and execution of methodologies for formal and informal verification strategies.<br>* Applications of formal methods in design: topics relating to the application and applicability of assertion–based verification, equivalence checking, transaction–level verification, semi–formal verification, runtime verification, simulation and testcase generation, coverage analysis, microcode verification, embedded systems, software verification, concurrent systems, timing verification, and formal approaches to performance and power.<br>* Model–based approaches: modeling and specification languages, system–level design and verification, design derivation and transformation, and correct–by–construction methods.<br>* Formal methods for the design and verification of emerging and novel technologies: nano, quantum, biological, video, gaming, and multimedia applications.<br>
Abbrevation
FMCAD
Link
City
Austin
Country
United States
Start Date
End Date
Abstract