Deployment of formal methods in industry: the legacy of the FP7 ICT DEPLOY integrated project.
Alexander B. RomanovskyPublished in: ACM SIGSOFT Softw. Eng. Notes (2012)
Keyphrases
- formal methods
- information and communication technologies
- case study
- formal analysis
- academic community
- software engineering
- model checking
- knowledge based systems
- artificial intelligence
- safety critical
- formal specification
- model checker
- information communication technology
- temporal properties
- provably correct
- global economy
- process algebra
- information and communications technology
- data analytics
- reverse engineering
- security properties
- reactive systems
- e government
- real world