Requirement Formalization For Model Checking Using Extended Backus Naur Form
E. O. Aliyu, O. S. ADEWALE, Adebayọ Olusọla Adetunmbi, B. A Ojokoh · i-manager’s Journal on Software Engineering · 2019
Describing the structure of a language using rewriting rules in verifying requirements and design is still a vivid area of research. The authors describe the grammar formalism Extended Backus Naur Form (EBNF) to specify the 'if' single block construct with respect to assignment and relational operators as well as Switch, For loop, Do-while, and While loop statement to ensure program free flow. This aim to ensure correctness in the grammar rule for selective and iterative construct to parse C++ programs. The grammar describes the actions a parser must take to parse a string of tokens correctly.