FMCAD 2007 is the seventh in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer–aided system design including verification, specification, synthesis, and testing. FMCAD 2007 will include a full day of tutorials, and will be co–located with the ACL2 Workshop. <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
Deadline Paper
Start Date
End Date
Abstract