Formal verification of programs in the functional data-flow parallel language.
Mariya S. KropachevaAlexander I. LegalovPublished in: Autom. Control. Comput. Sci. (2013)
Keyphrases
- data flow
- formal verification
- control flow
- program slicing
- model checker
- functional language
- model checking
- functional verification
- systolic array
- database machine
- description languages
- symbolic execution
- computer programs
- bounded model checking
- programming language
- functional programming
- digital signal processing
- automated verification
- object oriented software
- data transfer
- symbolic model checking
- specification language
- agent programming
- object oriented
- parallel processing
- temporal logic
- parallel implementation
- databases
- distributed memory
- programming environment
- formal methods
- description language
- modeling language
- artificial intelligence