Formal Methods: Foundations and Applications

Invited Talks.- Model Checking and Semantics.- Generation and Synthesis.- Verification and Solvers.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Inteligência artificial
• Os sistemas especialistas / sistemas baseados em conhecimento
• Engenharia do software
• Linguagem natural e tradução mecânica
• Teoria matemática da computação
• Hardware de rede

architecting;architecture verification and validation;artificial intelligence;computer hardware;computer programming;computer science;computer systems;embedded systems;engineering;formal languages;formal logic;formal methods;graph theory;linguistics;mathematics;model checking;software architecture;software design;software engineering;theoretical computer science