FMCAD 2012 is the twelfth in a series of conferences on the theory and application of formal methods in hardware and system design and verification. FMCAD provides a leading international forum to researchers and practitioners in academia and industry for presenting and discussing novel methods, technologies, theoretical results, and tools for formal reasoning about computing systems, as well as open challenges therein.<br>TOPICS OF INTEREST<br>Advances in model checking, theorem proving, equivalence checking, abstraction and reduction techniques, compositional methods, automatic decision procedures at the bit– and word–level, probabilistic methods, and combinations of deductive methods and decision procedures.<br>Topics related to the application of formal and semi–formal methods to functional and non–functional specification and validation of hardware and software. This includes timing and power modeling, and verification of computing systems on all levels of abstraction.<br>System–level design and verification, especially for embedded systems, HW/SW co–design and verification, and transaction–level verification.<br>Modeling and specification languages, formal semantics of known languages or their subsets, model–based design, design derivation and transformation, and correct–by–construction methods.<br>Experience with the application of formal and semi–formal methods to industrial–scale designs. Tools that represent formal verification enablement, new features, or a substantial improvement in the automation of formal methods.<br>Application of formal methods in new areas.<br>
Abbrevation
FMCAD
Link
City
Cambridge
Country
UK
Deadline Paper
Start Date
End Date
Abstract