Cargando…

Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds

Software model checkers are able to exhaustively explore different bounded program executions arising from various sources of non-determinism. These tools provide statements to produce non-deterministic values for certain variables, thus forcing the corresponding model checker to consider all possib...

Descripción completa

Detalles Bibliográficos
Autores principales:	Ponzio, Pablo, Godio, Ariel, Rosner, Nicolás, Arroyo, Marcelo, Aguirre, Nazareno, Frias, Marcelo F.
Formato:	Online Artículo Texto
Lenguaje:	English
Publicado:	2021
Materias:	Article
Acceso en línea:	https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7978807/ http://dx.doi.org/10.1007/978-3-030-71500-7_11

Ejemplares similares

Bounded Model Checking for Hyperproperties
por: Hsu, Tzu-Han, et al.
Publicado: (2021)

Tight bounds for the median of a gamma distribution
por: Lyon, Richard F.
Publicado: (2023)

Tight security bounds for decoy-state quantum key distribution
por: Yin, Hua-Lei, et al.
Publicado: (2020)

A framework for efficient modular heap analysis
por: Madhavan, Ravichandhran, et al.
Publicado: (2015)

Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution)
por: Ponce-de-León, Hernán, et al.
Publicado: (2020)

Emulating tightly bound electrons in crystalline solids using mechanical waves
por: Ramírez-Ramírez, F., et al.
Publicado: (2020)

Tight Bounds on the Rényi Entropy via Majorization with Applications to Guessing and Compression
por: Sason, Igal
Publicado: (2018)

On closed-form tight bounds and approximations for the median of a gamma distribution
por: Lyon, Richard F.
Publicado: (2021)

Modeling bounded rationality /
por: Rubinstein, Ariel
Publicado: (1998)

Heaps’ Law and Heaps functions in tagged texts: evidences of their linguistic relevance
por: Chacoma, A., et al.
Publicado: (2020)

Heaps of money : a novel /
por: Norris, W. E. (William Edward), 1847-1925

Unwillingly to the Scrap Heap
por: Le Gros Clark, F.
Publicado: (1969)

Protein tightly bound near the termini of the Physarum extrachromosomal rDNA palindrome
Publicado: (1981)

Accurate solution of Bethe-Salpeter equations for tightly bound fermion-antifermion systems
por: Narayana-Swamy, P, et al.
Publicado: (1968)

Proteomic Analysis to Identify Tightly-Bound Cell Wall Protein in Rice Calli
por: Cho, Won Kyong, et al.
Publicado: (2015)

An improved ASM-GDA approach to evaluate the production kinetics of loosely bound and tightly bound extracellular polymeric substances in biological phosphorus removal process
por: Cui, Hai, et al.
Publicado: (2020)

New bounds on the number of bound states
por: Chadan, K, et al.
Publicado: (1982)

Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks †
por: Zbrzezny, Agnieszka M., et al.
Publicado: (2022)

Wagner’s theory of generalised heaps
por: Hollings, Christopher D, et al.
Publicado: (2017)

Heap Analysis and Verification workshop
Publicado: (2007)

Tight upper bounds for semi-online scheduling on two uniform machines with known optimum
por: Dósa, György, et al.
Publicado: (2017)

Bounded Responsibility and Bounded Ethics of Science and Technology
por: Abel, Günter
Publicado: (2020)

Consistency checks for two-body finite-volume matrix elements: Conserved currents and bound states
por: Briceño, Raúl A., et al.
Publicado: (2019)

Control of Fly-Breeding in Compost Heaps
por: Acharya, C. N., et al.
Publicado: (1945)

Manipulation of Majorana bound states in proximity to a quantum ring with Rashba coupling
por: Medina, Fabián Gonzalo, et al.
Publicado: (2022)

Are Manipulation Checks Necessary?
por: Hauser, David J., et al.
Publicado: (2018)

Bounded lives, bounded places : free Black society in colonial New Orleans, 1769-1803 /
por: Hanger, Kimberly S.
Publicado: (1997)

New bounds on the number of bound states for Schrödinger operators
por: Chadan, K, et al.
Publicado: (1995)

Bound-bound transitions in strongly magnetized hydrogen plasma
por: Pavlov, G G, et al.
Publicado: (1995)

Generalization of the Calogero-Cohn bound on the number of bound states
por: Chadan, K., et al.
Publicado: (1995)

New Bound on $\gamma$ from $B^{\pm} \to \pi K$ Decays
por: Neubert, Matthias, et al.
Publicado: (1998)

Matching SDN and Legacy Networking Hardware for Energy Efficiency and Bounded Delay †
por: Fondo-Ferreiro, Pablo, et al.
Publicado: (2018)

An efficient multilevel image thresholding method based on improved heap-based optimizer
por: Houssein, Essam H., et al.
Publicado: (2023)

Bound states and scattering of an electron in the field of the magnetic string
por: Bordag, M, et al.
Publicado: (1994)

Bound states of fermions in external and self-consistent fields
por: Rafelski, Johann
Publicado: (1977)

Thickness bound for nonlocal wide-field-of-view metalenses
por: Li, Shiyu, et al.
Publicado: (2022)

A Case Study of Performance Degradation Attributable to Run-Time Bounds Checks on C++ Vector Access
por: Flater, David, et al.
Publicado: (2013)

Bound for the brain
por: Williams, Ruth
Publicado: (2006)

Bound to arthritis
por: Maxmen, Amy
Publicado: (2009)

Bounded rationality
por: Graham, Mallard
Publicado: (2020)

Cannot write session to /tmp/vufind_sessions/sess_ibb83f98lqnfq87s2mv9uig3s1