Verification conditions for source-level imperative programs

• http://www.scopus.com/inward/record.url?eid=2-s2.0-79957947758&partnerID=MN8TOARS
• full text

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

Visão geral

autores

• Frade, MJ
• Frade, M.J.
• Pinto, Jorge Sousa

data de publicação

• janeiro 1, 2011

publicada em

• Computer Science Review  Revista

Pesquisas

palavras-chave

• Hoare logic
• Program annotations
• Program verification
• Program verification
• Updates
• Verification conditions
• Verification conditions
• Weakest preconditions

Identidade

Digital Object Identifier (DOI)

• https://doi.org/10.1016/j.cosrev.2011.02.002

Informação adicional documento

Página Inicial

• 252

página final

• 277

Volume

• 5

questão

• 3