The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems-Reference-Cited by-同舟云学术

The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems

Published:2008-06 Issue:1-2 Volume:72 Page:3-21
ISSN:0167-6423
Container-title:Science of Computer Programming
language:en
Short-container-title:Science of Computer Programming

Author:

Bagnara Roberto,Hill Patricia M.,Zaffanella Enea

Publisher

Elsevier BV

Subject

Software

Reference86 articles.

1. A model of naive temporal reasoning;Allen,1985

2. C. Ancourt, Génération automatique de codes de transfert pour multiprocesseurs à mémoires locales, Ph.D. Thesis, Université de Paris VI, Paris, France, March 1991

3. Computational experience with the reverse search vertex enumeration algorithm;Avis;Optimization Methods and Software,1998

4. lrs: A revised implementation of the reverse search vertex enumeration algorithm;Avis,2000

5. The Cassowary linear arithmetic constraint solving algorithm;Badros;ACM Transactions on Computer-Human Interaction,2001

Cited by 276 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An outer approximation algorithm for generating the Edgeworth–Pareto hull of multi-objective mixed-integer linear programming problems;Mathematical Methods of Operations Research;2024-01-04

2. Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata;Electronic Proceedings in Theoretical Computer Science;2023-10-31

3. Synthesizing Specifications;Proceedings of the ACM on Programming Languages;2023-10-16

4. Verification of Camera-Based Autonomous Systems;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2023-10

5. JGMP: Java bindings and wrappers for the GMP library;SoftwareX;2023-07