Formal Methods: Foundations and Applications

?Specification and Modeling Languages.- A Formal Model for Startups Financial Transactions.- A Haskell-embedded DSL for Secure Information-flow.- CSP Specification and Verification of a Relay-Based Rail Interlocking System.- ULKB Logic: A HOL-based framework for reasoning over knowledge graphs.- Testing.- Language-based Testing for Pushdown Reactive Systems.- Sound Test Case Generation for Concurrent Mobile Features.- Verification and Validation.- Automated code generation for DES controllers modeled as Finite State Machines.- AutomaTutor: An Educational Mobile App for Teaching Automata Theory.- ESBMC v7.3: Model Checking C++ Programs using Clang.

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

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

diagrammatic languages;formal methods;formal verification;fuzzy systems;model checking;refactoring;refinement theory;relational mathematics;separation logic;software evolution;software product lines;theorem proving