DeepSTL
Jie He, Ezio Bartocci, Dejan Ničković, Haris Isakovic, Radu Grosu
2022Proceedings of the 44th International Conference on Software Engineering35 citationsDOIOpen Access PDF
Abstract
Formal methods provide very powerful tools and techniques for the design and analysis of complex systems. Their practical application remains however limited, due to the widely accepted belief that formal methods require extensive expertise and a steep learning curve. Writing correct formal specifications in form of logical formulas is still considered to be a difficult and error prone task.
Topics & Concepts
Computer scienceFormal methodsTask (project management)Formal verificationSoftware engineeringProgramming languageSystems engineeringEngineeringFormal Methods in VerificationModel-Driven Software Engineering TechniquesLogic, programming, and type systems