Verification of Imperative Programs using Symbolic Execution and Forward Reasoning in the Theorema System

Research output: Working paper and reports › Preprint

Original language	English
Place of Publication	University of Linz, Altenbergerstraße 69, 4040 Linz, Austria
Publisher	RISC
Number of pages	5
Publication status	Published - Jul 2007

Name	RISC Report Series

Fields of science

@techreport{a28839e7a5be44f5812b814d09429e26,

title = "Verification of Imperative Programs using Symbolic Execution and Forward Reasoning in the Theorema System",

author = "Tudor Jebelean and Madalina Erascu",

year = "2007",

month = jul,

language = "English",

series = "RISC Report Series",

publisher = "RISC",

type = "WorkingPaper",

institution = "RISC",

}

TY - UNPB

T1 - Verification of Imperative Programs using Symbolic Execution and Forward Reasoning in the Theorema System

AU - Jebelean, Tudor

AU - Erascu, Madalina

PY - 2007/7

Y1 - 2007/7

M3 - Preprint

T3 - RISC Report Series

BT - Verification of Imperative Programs using Symbolic Execution and Forward Reasoning in the Theorema System

PB - RISC

CY - University of Linz, Altenbergerstraße 69, 4040 Linz, Austria

ER -