NASA Formal Methods

Índice não disponível.

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

• Inteligência artificial
• Teoria matemática da computação
• Engenharia do software
• Compiladores
• Modelagem computacional e simulação
• Análise e projecto de sistemas

artificial intelligence;automated theorem proving;code generation;computer software selection and evaluation;distributed computer systems;fault tolerance;formal methods;formal verification;model checking;problem solving;programming languages;real time systems;run-time verification;semantics;software engineering;specifications;temporal logic;verification