A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods.
Rupert SchlickMichael FeldererIstván MajzikRoberto NardoneAlexander RaschkeColin F. SnookValeria VittoriniPublished in: ISoLA (4) (2018)
Keyphrases
- formal methods
- formal analysis
- industrial applications
- model checking
- artificial intelligence
- metadata
- knowledge based systems
- formal specification
- safety critical
- model checker
- e government
- reactive systems
- technology adoption
- software engineering
- digital libraries
- temporal properties
- provably correct
- information systems
- learning objects
- process algebra
- perceived usefulness
- formal specification language
- databases
- security properties
- software development
- knowledge management
- high level
- case study
- web services
- real world