---
OA_place: repository
OA_type: green
_id: '17053'
abstract:
- lang: eng
  text: We introduce a formalization of ternary simulation as abstract interpretation
    along with a widening operator to speed up convergence. With the same goal, we
    present a subsumption algorithm that can determine termination earlier than the
    usual approach using hash sets. Additionally, we introduce a narrowing operator
    that utilizes recent advances in backbone extraction, allowing to increase the
    overapproximation precision in simulation at any time. The experiments evaluate
    the presented techniques in the context of hardware model checking.
acknowledgement: This work is supported by the Austrian Science Fund (FWF) under the
  project W1255-N23, the LIT AI Lab funded by the State of Upper Austria, the ERC-2020-AdG
  101020093 and by a gift from Intel Corporation.
article_processing_charge: No
author:
- first_name: Nils
  full_name: Froleyks, Nils
  last_name: Froleyks
- first_name: Zhengqi
  full_name: Yu, Zhengqi
  id: 20aa2ae8-f2f1-11ed-bbfa-8205053f1342
  last_name: Yu
  orcid: 0000-0002-4993-773X
- first_name: Armin
  full_name: Biere, Armin
  last_name: Biere
citation:
  ama: 'Froleyks N, Yu E, Biere A. Ternary simulation as abstract interpretation (Work
    in Progress). In: <i>27th Workshop on Methods and Description Languages for Modeling
    and Verification of Circuits and Systems</i>. ; 2024:148-151.'
  apa: Froleyks, N., Yu, E., &#38; Biere, A. (2024). Ternary simulation as abstract
    interpretation (Work in Progress). In <i>27th Workshop on Methods and Description
    Languages for Modeling and Verification of Circuits and Systems</i> (pp. 148–151).
    Kaiserslautern, Germany.
  chicago: Froleyks, Nils, Emily Yu, and Armin Biere. “Ternary Simulation as Abstract
    Interpretation (Work in Progress).” In <i>27th Workshop on Methods and Description
    Languages for Modeling and Verification of Circuits and Systems</i>, 148–51, 2024.
  ieee: N. Froleyks, E. Yu, and A. Biere, “Ternary simulation as abstract interpretation
    (Work in Progress),” in <i>27th Workshop on Methods and Description Languages
    for Modeling and Verification of Circuits and Systems</i>, Kaiserslautern, Germany,
    2024, pp. 148–151.
  ista: 'Froleyks N, Yu E, Biere A. 2024. Ternary simulation as abstract interpretation
    (Work in Progress). 27th Workshop on Methods and Description Languages for Modeling
    and Verification of Circuits and Systems. MBMV: Methods and Description Languages
    for Modeling and Verification of Circuits and Systems, 148–151.'
  mla: Froleyks, Nils, et al. “Ternary Simulation as Abstract Interpretation (Work
    in Progress).” <i>27th Workshop on Methods and Description Languages for Modeling
    and Verification of Circuits and Systems</i>, 2024, pp. 148–51.
  short: N. Froleyks, E. Yu, A. Biere, in:, 27th Workshop on Methods and Description
    Languages for Modeling and Verification of Circuits and Systems, 2024, pp. 148–151.
conference:
  end_date: 2024-02-15
  location: Kaiserslautern, Germany
  name: 'MBMV: Methods and Description Languages for Modeling and Verification of
    Circuits and Systems'
  start_date: 2024-02-14
date_created: 2024-05-26T22:00:58Z
date_published: 2024-02-01T00:00:00Z
date_updated: 2026-01-05T14:05:35Z
day: '01'
department:
- _id: ToHe
ec_funded: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://cca.informatik.uni-freiburg.de/papers/FroleyksYuBiere-MBMV24.pdf
month: '02'
oa: 1
oa_version: Submitted Version
page: 148-151
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
  call_identifier: H2020
  grant_number: '101020093'
  name: Vigilant Algorithmic Monitoring of Software
publication: 27th Workshop on Methods and Description Languages for Modeling and Verification
  of Circuits and Systems
publication_identifier:
  isbn:
  - '9783800762682'
publication_status: published
quality_controlled: '1'
scopus_import: '1'
status: public
title: Ternary simulation as abstract interpretation (Work in Progress)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2024'
...