Formal Methods in Computer-Aided Design (FMCAD) is a conference series on the theory and applications of formal methods in hardware and system verification.

The papers in this volume are the refereed papers presented at AI-2011, the Thirty-first SGAI International Conference on Innovative Techniques and Applications

Recent decades have seen major advances in methods and tools for checking the safety and security of software systems. Automatic tools can now detect security f

The purpose of this Handbook is to highlight both theory and applications of weighted automata. Weighted finite automata are classical nondeterministic finite a