Verification and validation of the open-source plasma fluid code: Zapdos.
Corey DeChantCasey IcenhourShane KenileyGrayson GallAlexander D. LindsayDavide CurreliSteven ShannonPublished in: Comput. Phys. Commun. (2023)
Keyphrases
- open source
- source code
- open source software
- symbolic execution
- linux kernel
- model checking
- high density
- static analysis
- open source projects
- software systems
- high energy
- case study
- face verification
- core components
- software maintenance
- concurrent systems
- software projects
- code generation
- model validation
- formal verification
- program understanding
- asynchronous circuits
- data flow
- reverse engineering