Formal Methods in Computer-Aided Design, PortlandOR, Vereinigte Staaten

Abbrevation

FMCAD

Link

http://www.fmcad.org/FMCAD13

City

PortlandOR

Country

United States

Deadline Paper

2013-05-19

Start Date

2013-10-20

End Date

2013-10-23

Abstract

FMCAD 2013 is the thirteenth 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. FMCAD 2013 will be co–located with MEMOCODE, the ACM/IEEE International Conference on Formal Methods and Models for Codesign, in Portland, OR, USA. MEMOCODE will take place from October 18 to 19, followed by a joint FMCAD/MEMOCODE tutorial day on October 20. FMCAD will continue from October 21 to 23, 2013. TOPICS OF INTEREST FMCAD welcomes submission of papers reporting original research on advances in all aspects of formal methods technology and its application to computer–aided design. Topics of interest include, but are not limited to, the following: –– 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. –– 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. System–level design and verification, especially for embedded systems, HW/SW co–design and verification, and transaction–level verification. –– Modeling and specification languages, formal semantics of known languages or their subsets, model–based design, design derivation and transformation, and correct–by–construction methods. –– 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. –– Application of formal methods in new areas.