Towards Verification of C Programs. C-Light Language and Its Formal Semantics.
Valery A. NepomniaschyIgor S. AnureevI. N. MikhailovAlexey V. PromskyPublished in: Program. Comput. Softw. (2002)
Keyphrases
- formal semantics
- logical language
- formal language
- operational semantics
- modelling language
- modeling language
- speech acts
- java bytecode
- computer programs
- first order logic
- logical reasoning
- model checking
- er model
- model theoretic
- programming language
- epistemic logic
- natural language
- life cycle
- software systems
- machine learning
- database