Divider verification using symbolic computer algebra and delayed don’t care optimization: theory and practical implementation
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
Divider verification using symbolic computer algebra and delayed don’t care optimization: theory and practical implementation ; day:24 ; month:5 ; year:2024 ; pages:1-37
Formal methods in system design ; (24.5.2024), 1-37
- Creator
-
Konrad, Alexander
Scholl, Christoph
Mahzoon, Alireza
Große, Daniel
Drechsler, Rolf
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10703-024-00452-3
- URN
-
urn:nbn:de:101:1-2408051042444.558716530674
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:04 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Konrad, Alexander
- Scholl, Christoph
- Mahzoon, Alireza
- Große, Daniel
- Drechsler, Rolf
- SpringerLink (Online service)
Other Objects (12)
Integrating Symbolic Execution, Debugging and Verification
Symbolic analysis : an algebra based approach
symQV : Automated Symbolic Verification of Quantum Programs
Interactive Verification of Concurrent Systems using Symbolic Execution
Delayed verification mechanism for dynamic implementation
Symbolic timing diagrams : a visual formalism for model verification
Mixed signal circuit verification using symbolic model checking techniques
Symbolic timing diagrams : a visual formalism for model verification
Symbolic verification of computational security for branching-time properties.
Symbolic methods for formal verification of industrial control software
Symbolic verification of PLC safety-applications based on PCLopen automata
A symbolic model checking approach in formal verification of distributed systems
Integrating Symbolic Execution, Debugging and Verification
Symbolic analysis : an algebra based approach
symQV : Automated Symbolic Verification of Quantum Programs
Interactive Verification of Concurrent Systems using Symbolic Execution
Delayed verification mechanism for dynamic implementation
Symbolic timing diagrams : a visual formalism for model verification
Mixed signal circuit verification using symbolic model checking techniques
Symbolic timing diagrams : a visual formalism for model verification
Symbolic verification of computational security for branching-time properties.
Symbolic methods for formal verification of industrial control software
Symbolic verification of PLC safety-applications based on PCLopen automata
A symbolic model checking approach in formal verification of distributed systems
Integrating Symbolic Execution, Debugging and Verification
Symbolic analysis : an algebra based approach
symQV : Automated Symbolic Verification of Quantum Programs
Interactive Verification of Concurrent Systems using Symbolic Execution
Delayed verification mechanism for dynamic implementation
Symbolic timing diagrams : a visual formalism for model verification
Mixed signal circuit verification using symbolic model checking techniques
Symbolic timing diagrams : a visual formalism for model verification
Symbolic verification of computational security for branching-time properties.
Symbolic methods for formal verification of industrial control software
Symbolic verification of PLC safety-applications based on PCLopen automata