conference research / Tier b

FMCAD学会研究

Formal methods in computer-aided design, hardware and system verification, model checking, SAT and SMT solving, temporal logic, runtime monitoring, synthesis, theorem proving, formal verification of accelerators, memory-management verification, compiler translation validation, neural-network robustness, LLM-assisted formalization, and tool-supported reasoning for computing systems.

Formal Methods in Computer-Aided Designは、回路 / システム / 設計自動化の観点から FMCAD, formal methods, hardware verification, system verification, EDA, model checking, SAT, SMT, synthesis, theorem proving, runtime monitoring, software verification, AWS, Cadence, Futurewei, GE Aerospace, Siemens, SRI, TU Wien, Stanford, University of Texas at Austin, Carnegie Mellon University, CISPA, and official EasyChair accepted-paper first-listed affiliation rows を確認するための学会です。公式ページ、募集要項、program、proceedings を分けて確認し、研究室DBや求人DBの分類軸へ接続します。