Results 11 to 20 of about 14,914,060 (244)

Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 [PDF]

, 2020
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification.
Formal Methods in Computer Aided Design
core   +7 more sources

FORTEST: Formal methods and testing [PDF]

, 2002
Formal methods have traditionally been used for specification and development of software. However there are potential benefits for the testing stage as well.
Bowen, JP, Krause, P, Bogdanov, K, Clark, JA, Harman, M, Hierons, RM   +5 more
core   +6 more sources

Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2023

, 2023
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies,
Formal Methods in Computer Aided Design
core   +1 more source

Using formal methods to support testing [PDF]

, 2008
Formal methods and testing are two important approaches that assist in the development of high quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as ...
Woodward, M, Bowen, JP, Vilkomir, S, Bogdanov, K, Luettgen, G, Gheorghe, M, Kapoor, K, Cleaveland, R, Krause, P, Derrick, J, Dick, JH, Harman, M, Hierons, RM, Simons, AJH   +13 more
core   +6 more sources

Formal Methods Meet Machine Learning (F3ML)

, 2022
The field of machine learning focuses on computationally efficient, yet approximate algorithms. On the contrary, the field of formal methods focuses on mathematical rigor and provable correctness.
Margaria, Tiziana, Nolte, Gerrit, Schlüter, Maximilian, Legay, Axel, Steffen, Bernhard, Larsen, Kim G., Stoelinga, Mariëlle   +6 more
core   +1 more source

The Merits of a Decentralized Pollution-Monitoring System Based on Distributed Ledger Technology

IEEE Access, 2020
Pollution-monitoring systems (PMSs) are used worldwide to sense environmental changes, such as air quality conditions or temperature increases, and to monitor compliance with regulations.
Markus Lucking, Niclas Kannengieber, Maurice Kilgus, Till Riedel, Michael Beigl, Ali Sunyaev, Wilhelm Stork   +6 more
doaj   +1 more source

An Abstraction Technique for Verifying Shared-Memory Concurrency

Applied Sciences, 2020
Modern concurrent and distributed software is highly complex. Techniques to reason about the correct behaviour of such software are essential to ensure its reliability.
Wytse Oortwijn, Dilian Gurov, Marieke Huisman   +2 more
doaj   +1 more source

Alignment of biological networks by integer linear programming: virus-host protein-protein interaction networks

BMC Bioinformatics, 2020
Background The alignment of protein-protein interaction networks was recently formulated as an integer quadratic programming problem, along with a linearization that can be solved by integer linear programming software tools.
Mercè Llabrés, Gabriel Riera, Francesc Rosselló, Gabriel Valiente   +3 more
doaj   +1 more source

Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2024 [PDF]

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification.
Formal Methods in Computer Aided Design
core   +2 more sources

Earthquake Hazard Safety Assessment of Existing Buildings Using Optimized Multi-Layer Perceptron Neural Network

Energies, 2020
The latest earthquakes have proven that several existing buildings, particularly in developing countries, are not secured from damages of earthquake.
Ehsan Harirchian, Tom Lahmer, Shahla Rasulzade   +2 more
doaj   +1 more source