Open AccessA Toolkit for Supporting Formal Verification of Programs in the Functional Data-flow Parallel Programming Language
Publication year - 2015
Publication title -
vestnik ûžno-uralʹskogo gosudarstvennogo universiteta. seriâ vyčislitelʹnaâ matematika i informatika
Language(s) - English
Resource type - Journals
eISSN - 2410-7034
pISSN - 2305-9052
DOI - 10.14529/cmse150205
Subject(s) - computer science , programming language , control flow graph , data flow diagram , functional programming , theoretical computer science , data flow analysis , precondition , formal verification , graph , proof assistant , database , mathematics , mathematical proof , geometry