Formal Methods in Computer-Aided Design 2008, Portland, Vereinigte Staaten

Abbrevation

FMCAD

Link

http://fmcad.org

City

Portland

Country

United States

Deadline Paper

2008-05-12

Start Date

2008-11-17

End Date

2008-11-20

Abstract

FMCAD 2008 is the eighth 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. Keywords: 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. 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. 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. Model–based approaches: modeling and specification languages, system–level design and verification, design derivation and transformation, and correct–by–construction methods. Formal methods for the design and verification of emerging and novel technologies: nano, quantum, biological, video, gaming, and multimedia applications.