Work

DeepSTL

Year: 2022

Type: conference-paper

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.

Source: Proceedings/Proceedings - International Conference on Software Engineering

DOI: 10.1145/3510003.3510171

Authors: Jie He, Ezio Bartocci, Dejan Ničković, Haris Isakovic, Radu Grosu

Institutions: TU Wien, AIT Austrian Institute of Technology GmbH

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funder: European Commission

Awards: FOUNDATIONS FOR CONTINUOUS ENGINEERING OF TRUSTWORTHY AUTONOMY, G434337789