SharpChecker: Static analysis tool for C# programs.

V. K. Koshelev V. N. Ignatiev A. I. Borzilov A. A. Belevantsev

Published in: Program. Comput. Softw. (2017)

Keyphrases

analysis tool
provably correct
multimedia
bayesian networks
data model
control flow
automatic programming
digital libraries
relational databases
programming environment
fixpoint