<div class="csl-bib-body">
<div class="csl-entry">Kovacs, L. (2025, June). <i>Automated Reasoning</i> [Conference Presentation]. Open Science Day 2025, Wien, Austria. https://doi.org/10.34726/9740</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/216194
-
dc.identifier.uri
https://doi.org/10.34726/9740
-
dc.description.abstract
Certified computer systems are becoming the key in the increasingly complex decision making activities of our modern society. Among others, error-free and secure solutions are indispensable within AI, Autonomous Systems, Big Data, Blockchain, Decentralized Finance (DeFi), or Cloud Computing. While the explosion in applications of computer systems leads to great increases in productivity, wealth, and convenience, it creates a paradoxical situation: we rely on computer systems despite that uncountable many scenarios showcase that computer systems are not (properly) certified and hence are error-prone.
The area of automated reasoning provides computer-aided solutions to prove that computer systems are error-free, just like we prove theorems in mathematics. However, who can tell software developers which automated reasoning solutions should be used? Moreover, which reasoning method is best to be used during code review, for ensuring system safety and security?
This talk will reflect on some challenges of automated reasoning and focus on concrete applications of system verification security. We will highlight aspects of open-source code development, allowing others to easily use our solutions in their technologies without the need of becoming experts in automated reasoning.
en
dc.description.abstract
Zertifizierte Computersysteme werden zunehmend zum Schlüssel für die immer komplexeren Entscheidungsprozesse in unserer modernen Gesellschaft. Fehlerfreie und sichere Lösungen sind unter anderem in Bereichen wie Künstlicher Intelligenz (KI), autonomen Systemen, Big Data, Blockchain, Dezentraler Finanzen (DeFi) oder Cloud Computing unverzichtbar. Während die explosionsartige Zunahme an Anwendungen von Computersystemen zu enormen Steigerungen von Produktivität, Wohlstand und Komfort führt, entsteht eine paradoxe Situation: Wir verlassen uns auf Computersysteme, obwohl unzählige Szenarien zeigen, dass diese Systeme nicht (ausreichend) zertifiziert sind und daher fehleranfällig sein können.
Das Gebiet des Automated Reasoning bietet computergestützte Lösungen, um zu beweisen, dass Computersysteme fehlerfrei sind – ähnlich wie man mathematische Theoreme beweist. Doch wer sagt Softwareentwickler:innen, welche automatisierten Beweismethoden eingesetzt werden sollten? Und welche Methode eignet sich am besten für Code Reviews, um die Sicherheit und Zuverlässigkeit eines Systems zu gewährleisten?
Dieser Vortrag beleuchtet einige Herausforderungen des automatisierten Schließens und konzentriert sich auf konkrete Anwendungsbeispiele der Systemverifikation. Dabei werden Aspekte der Open-Source-Softwareentwicklung hervorgehoben, die es ermöglichen, unsere Lösungen unkompliziert in andere Technologien zu integrieren – ohne dass Nutzer:innen selbst Expert:innen im Bereich des Automated Resaoning sein müssen.
de
dc.language.iso
en
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
Automated Reasoning
en
dc.subject
Open Source
en
dc.subject
computer systems
en
dc.title
Automated Reasoning
en
dc.type
Presentation
en
dc.type
Vortrag
de
dc.rights.license
Urheberrechtsschutz
de
dc.rights.license
In Copyright
en
dc.identifier.doi
10.34726/9740
-
dc.type.category
Conference Presentation
-
tuw.publication.invited
invited
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.id
C5
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.name
Computer Science Foundations
-
tuw.researchTopic.value
10
-
tuw.researchTopic.value
90
-
tuw.publication.orgunit
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
tuw.publication.orgunit
E056-10 - Fachbereich SecInt-Secure and Intelligent Human-Centric Digital Technologies
-
tuw.publication.orgunit
E056-13 - Fachbereich LogiCS
-
tuw.publication.orgunit
E056-17 - Fachbereich Trustworthy Autonomous Cyber-Physical Systems
