Ultimate Taipan with dynamic block encoding : : (competition contribution)
Abstract: Ultimate Taipan is a software model checker that uses trace abstraction and abstract interpretation to prove correctness of programs. In contrast to previous versions, Ultimate Taipan now uses dynamic block encoding to obtain the best precision possible when evaluating transition formulas of large block encoded programs
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Lecture notes in computer science. - 10806 (2018) , 452-456, ISSN: 1611-3349
- Event
-
Veröffentlichung
- (where)
-
Freiburg
- (who)
-
Universität
- (when)
-
2021
- DOI
-
10.1007/978-3-319-89963-3_31
- URN
-
urn:nbn:de:bsz:25-freidok-1762447
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:56 PM CET
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
Time of origin
- 2021
Other Objects (12)
Ultimate Taipan with Dynamic Block Encoding : (Competition Contribution)
Ultimate automizer and the search for perfect interpolants : : (competition contribution)
Ultimate Automizer and the Search for Perfect Interpolants : (Competition Contribution)
Ultimate Taipan with symbolic interpretation and fluid abstractions : : (competition contribution)
Encoding and attentive modulation of dynamic motion stimuli
Product market competition, ultimate controlling structure and related party transactions
Encoding high dynamic range and wide color gamut imagery
Quotas under dynamic Bertrand competition
Price dispersion in dynamic competition
Dynamic macroeconomics with imperfect competition
Ultimate taipan and race detection in ultimate
Ultimate Origins
Ultimate Taipan with Dynamic Block Encoding : (Competition Contribution)
Ultimate automizer and the search for perfect interpolants : : (competition contribution)
Ultimate Automizer and the Search for Perfect Interpolants : (Competition Contribution)
Ultimate Taipan with symbolic interpretation and fluid abstractions : : (competition contribution)
Encoding and attentive modulation of dynamic motion stimuli
Product market competition, ultimate controlling structure and related party transactions
Encoding high dynamic range and wide color gamut imagery
Quotas under dynamic Bertrand competition
Price dispersion in dynamic competition
Dynamic macroeconomics with imperfect competition
Ultimate taipan and race detection in ultimate
Ultimate Origins
Ultimate Taipan with Dynamic Block Encoding : (Competition Contribution)
Ultimate automizer and the search for perfect interpolants : : (competition contribution)
Ultimate Automizer and the Search for Perfect Interpolants : (Competition Contribution)
Ultimate Taipan with symbolic interpretation and fluid abstractions : : (competition contribution)
Encoding and attentive modulation of dynamic motion stimuli
Product market competition, ultimate controlling structure and related party transactions
Encoding high dynamic range and wide color gamut imagery
Quotas under dynamic Bertrand competition
Price dispersion in dynamic competition
Dynamic macroeconomics with imperfect competition
Ultimate taipan and race detection in ultimate