Verification Tools in the Development of Provably Correct Compilers.
M. R. K. Krishna RaoParitosh K. PandyaR. K. ShyamasundarPublished in: FME (1993)
Keyphrases
- provably correct
- formal methods
- decision support
- code generation
- knowledge based systems
- design tools
- enabling technologies
- software engineering
- model checking
- programming environments
- programming language
- communication technologies
- technical issues
- software developers
- development environments
- development environment
- case study
- design principles
- general purpose
- object oriented
- end users