Work

A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods

Year: 2018

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-030-03427-6_20

Authors: Rupert Schlick, Michael Felderer, Istvan Majzik, Roberto Nardone, Alexander Raschke, Colin Snook, Valeria Vittorini

Institutions: AIT Austrian Institute of Technology GmbH, Universität Innsbruck, Blekinge Institute of Technology, Budapest University of Technology and Economics, University of Naples Federico II, Universität Ulm, University of Southampton

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2899292013

FWCI: 1.149

Cites: 47

Cited by: 10

Related to: 10