Satisfiability Modulo Custom Theories in Z3

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	VMCAI (24. : 2023 : Boston) Verification, model checking, and abstract interpretation
1. Verfasser:	Bjorner, Nikolaj (VerfasserIn)
Weitere Verfasser:	Eisenhofer, Clemens (VerfasserIn), Kovacs, Laura (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2023
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
Distributing and Parallelizing Non-canonical Loops	2023	Aubert, Clément
Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference	2023	Berthier, Nicolas
Result Invalidation for Incremental Modular Analyses	2023	Plas, Jens Van der
Solving Constrained Horn Clauses over Algebraic Data Types	2023	Zavalia, Lucas
Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth	2023	Goharshady, Amir Kafshdar
CosySEL: Improving SAT Solving Using Local Symmetries	2023	Saouli, Sabrine
Sound Symbolic Execution via Abstract Interpretation and Its Application to Security	2023	Tiraboschi, Ignacio
ARENA: Enhancing Abstract Refinement for Neural Network Verification	2023	Zhong, Yuyi
Compositional Verification of Stigmergic Collective Systems	2023	Stefano, Luca Di
Bayesian Parameter Estimation with Guarantees via Interval Analysis and Simulation	2023	Boreale, Michele
A Pragmatic Approach to Stateful Partial Order Reduction	2023	Cirisci, Berk
Maximal Robust Neural Network Specifications via Oracle-Guided Numerical Optimization	2023	Kabaha, Anan
A Generic Framework to Coarse-Grain Stochastic Reaction Networks by Abstract Interpretation	2023	Feret, Jérome
SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study	2023	Banerjee, Soham
StaticPersist: Compiler Support for PMEM Programming	2023	Bansal, Sorav
Satisfiability Modulo Custom Theories in Z3	2023	Bjorner, Nikolaj
Synthesizing History and Prophecy Variables for Symbolic Model Checking	2023	Vick, Cole