CAOVerif: An open-source deductive verification platform for cryptographic software implementations.
José Bacelar AlmeidaManuel BarbosaJean-Christophe FilliâtreJorge Sousa PintoBárbara VieiraPublished in: Sci. Comput. Program. (2014)
Keyphrases
- open source
- source code
- cross platform
- core components
- open source projects
- software package
- software systems
- high assurance
- software platform
- software development
- open source software
- software implementation
- software tools
- formal methods
- computing platform
- model checking
- open standards
- cryptographic protocols
- java platform
- software maintenance
- efficient implementation
- smart card
- simulation software
- scripting language
- hardware designs
- simulation environment
- development process
- control software
- platform independent
- content management system
- legacy software systems
- software evolution
- explanation based learning
- object oriented
- user interface
- formal verification
- graphical user interfaces
- software design
- embedded systems
- test cases
- verification method
- computer systems
- software engineering
- case study
- real time