Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs

Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs

Détails bibliographiques
Auteurs principaux:	Schrammel, P, Jeannet, B
Format:	Conference item
Publié:	Springer 2011

Documents similaires

Extending Abstract Acceleration Methods to Data−Flow Programs with Numerical Inputs
par: Schrammel, P, et autres
Publié: (2010)

Applying abstract acceleration to (co−)reachability analysis of reactive programs
par: Schrammel, P, et autres
Publié: (2012)

Abstract Acceleration of General Linear Loops
par: Jeannet, B, et autres
Publié: (2014)

Logico−Numerical Max−Strategy−Iteration
par: Schrammel, P, et autres
Publié: (2013)

Speeding Up Logico−Numerical Strategy Iteration
par: Monniaux, D, et autres
Publié: (2014)

Sound numerical computations in abstract acceleration
par: Cattaruzza, D, et autres
Publié: (2017)

Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
par: Cattaruzza, D, et autres
Publié: (2020)

From hybrid data−flow languages to hybrid automata: a complete translation
par: Schrammel, P, et autres
Publié: (2012)

Lifting CDCL to template-based abstract domains for program verification
par: Mukherjee, R, et autres
Publié: (2017)

Abstract Acceleration in Linear Relation Analysis
par: Gonnord, L, et autres
Publié: (2014)

Verification and synthesis of linear systems by abstract acceleration
par: Cattaruzza, D
Publié: (2018)

Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration
par: Cattaruzza, D, et autres
Publié: (2015)

Challenges in Decomposing Encodings of Verification Problems
par: Peter Schrammel
Publié: (2016-07-01)

Verification and Falsification of Programs with Loops Using Predicate Abstraction
par: Kroening, D, et autres
Publié: (2009)

Verification and falsification of programs with loops using predicate abstraction.
par: Kroening, D, et autres
Publié: (2010)

Necessary and Sufficient Preconditions via Eager Abstraction
par: Seghir, M, et autres
Publié: (2014)

Jogos Lógicos
par: Anna Averbuch, et autres
Publié: (2004-06-01)

Implementación de redes neuronales utilizando dispositivos lógicos programables
par: Jaime A. Parra P., et autres
Publié: (2008-05-01)

Interpolation−based verification of floating−point programs with abstract CDCL
par: Brain, M, et autres
Publié: (2013)

Interpolation-based verification of floating-point programs with abstract CDCL
par: Brain, M, et autres
Publié: (2013)

Automatic Probabilistic Program Verification through Random Variable Abstraction
par: Damián Barsotti, et autres
Publié: (2010-06-01)

Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract)
par: David Reutter, et autres
Publié: (2018-02-01)

Pluralismo lógico, normatividad y la objetividad del conocimiento lógico
par: María Dolores García-Arnaldos
Publié: (2021-12-01)

Tractatus Logico-Philosophicus
par: Ludwig Wittgenstein
Publié: (2023-02-01)

Unbounded Safety Verification for Hardware Using Software Analyzers
par: Mukherjee, R, et autres
Publié: (2015)

Safety verification and refutation by k-invariants and k-induction
par: Brain, M, et autres
Publié: (2015)

Abstraction Mechanisms for Hardware Verification
par: Melham, T
Publié: (1990)

Abstraction Mechanisms for Hardware Verification
par: Melham, T
Publié: (1988)

Abstraction Mechanisms for Hardware Verification
par: Melham, T
Publié: (1987)

Atividades de Raciocínio Lógico
par: Claudia Maria Galvani de Moura Bertasso
Publié: (2009-01-01)

Formas no Tractatus Logico-Philosophicus
par: Luiz Henrique da Silva Santos
Publié: (2022-03-01)

FUNDAMENTOS LÓGICOS DO CONHECIMENTO
par: Marilúze Ferreira de Andrade e Silva
Publié: (2024-02-01)

Análisis lógico y jurídico
par: Raúl Madrid Ramírez, et autres
Publié: (2008-08-01)

Caracterizando el desacuerdo lógico
par: Diego Tajer
Publié: (2015-06-01)

Positivismo lógico: ¿filosofía analítica?
par: Oscar Augusto García Zárate
Publié: (2001-12-01)

Antirrealismo e Expressivismo Lógico
par: Acácio Ferreira, et autres
Publié: (2021-07-01)

Effective verification for low-level software with competing interrupts
par: Liang, L, et autres
Publié: (2017)

Formal Verification at Higher Levels of Abstraction
par: Kroening, D, et autres
Publié: (2007)

Compiler verification meets cross-language linking via data abstraction
par: Wang, Peng, et autres
Publié: (2015)

Accelerated test execution using GPUs
par: Rajan, A, et autres
Publié: (2014)