Deductive verification of cryptographic software.
José Bacelar AlmeidaManuel BarbosaJorge Sousa PintoBárbara VieiraPublished in: Innov. Syst. Softw. Eng. (2010)
Keyphrases
- high assurance
- software systems
- software development
- software maintenance
- software tools
- object oriented
- model checking
- software projects
- formal methods
- information systems
- hardware designs
- source code
- computer systems
- software architecture
- formal verification
- smart card
- cryptographic protocols
- software package
- software quality
- neural network
- user interface
- artificial intelligence