Model Checking C++ Programs Documento

• http://dx.doi.org/10.1002/stvr.1793

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Informação adicional documento
•  
• Outro
•  
• Ver todos
•  

Visão geral

tipo

• journal article

autores

• Lucas Carvalho Cordeiro
• Mikhail Yasha Ramalho Gadelha

data de publicação

• 2021-01-01

publicada em

• SOFTWARE TESTING, VERIFICATION AND RELIABILITY 

Pesquisas

áreas de investigação

• Verificação Formal Automatizada de Sistemas de Hardware e Software

palavras-chave

• Bounded Model Checking
• Object-Oriented Programming
• Satisfiability Modulo Theories
• Software Model Checking

Identidade

identificador BrCris

• ce8a62d7ec12b24590d43416147072ef

Informação adicional documento

série

• 7

Página Inicial

• 1

página final

• 30

Volume

• 31

Outro

tem linguagem

• Inglês