Open AccessA Toolkit for Supporting Formal Verification of Programs in the Functional Data-flow Parallel Programming Language
Author(s) -
Мария Сергеевна Ушакова,
A. I. Legalov
Publication year - 2015
Publication title -
bulletin of the south ural state university series computational mathematics and software engineering
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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom