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

Bibliografiset tiedot
Päätekijät:	Schrammel, P, Jeannet, B
Aineistotyyppi:	Conference item
Julkaistu:	Springer 2011

Samankaltaisia teoksia

Extending Abstract Acceleration Methods to Data−Flow Programs with Numerical Inputs
Tekijä: Schrammel, P, et al.
Julkaistu: (2010)

Applying abstract acceleration to (co−)reachability analysis of reactive programs
Tekijä: Schrammel, P, et al.
Julkaistu: (2012)

Abstract Acceleration of General Linear Loops
Tekijä: Jeannet, B, et al.
Julkaistu: (2014)

Logico−Numerical Max−Strategy−Iteration
Tekijä: Schrammel, P, et al.
Julkaistu: (2013)

Speeding Up Logico−Numerical Strategy Iteration
Tekijä: Monniaux, D, et al.
Julkaistu: (2014)

Sound numerical computations in abstract acceleration
Tekijä: Cattaruzza, D, et al.
Julkaistu: (2017)

Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
Tekijä: Cattaruzza, D, et al.
Julkaistu: (2020)

From hybrid data−flow languages to hybrid automata: a complete translation
Tekijä: Schrammel, P, et al.
Julkaistu: (2012)

Lifting CDCL to template-based abstract domains for program verification
Tekijä: Mukherjee, R, et al.
Julkaistu: (2017)

Abstract Acceleration in Linear Relation Analysis
Tekijä: Gonnord, L, et al.
Julkaistu: (2014)

Verification and synthesis of linear systems by abstract acceleration
Tekijä: Cattaruzza, D
Julkaistu: (2018)

Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration
Tekijä: Cattaruzza, D, et al.
Julkaistu: (2015)

Challenges in Decomposing Encodings of Verification Problems
Tekijä: Peter Schrammel
Julkaistu: (2016-07-01)

Verification and Falsification of Programs with Loops Using Predicate Abstraction
Tekijä: Kroening, D, et al.
Julkaistu: (2009)

Verification and falsification of programs with loops using predicate abstraction.
Tekijä: Kroening, D, et al.
Julkaistu: (2010)

Necessary and Sufficient Preconditions via Eager Abstraction
Tekijä: Seghir, M, et al.
Julkaistu: (2014)

Jogos Lógicos
Tekijä: Anna Averbuch, et al.
Julkaistu: (2004-06-01)

Implementación de redes neuronales utilizando dispositivos lógicos programables
Tekijä: Jaime A. Parra P., et al.
Julkaistu: (2008-05-01)

Interpolation−based verification of floating−point programs with abstract CDCL
Tekijä: Brain, M, et al.
Julkaistu: (2013)

Interpolation-based verification of floating-point programs with abstract CDCL
Tekijä: Brain, M, et al.
Julkaistu: (2013)

Automatic Probabilistic Program Verification through Random Variable Abstraction
Tekijä: Damián Barsotti, et al.
Julkaistu: (2010-06-01)

Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract)
Tekijä: David Reutter, et al.
Julkaistu: (2018-02-01)

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

Tractatus Logico-Philosophicus
Tekijä: Ludwig Wittgenstein
Julkaistu: (2023-02-01)

Unbounded Safety Verification for Hardware Using Software Analyzers
Tekijä: Mukherjee, R, et al.
Julkaistu: (2015)

Safety verification and refutation by k-invariants and k-induction
Tekijä: Brain, M, et al.
Julkaistu: (2015)

Abstraction Mechanisms for Hardware Verification
Tekijä: Melham, T
Julkaistu: (1990)

Abstraction Mechanisms for Hardware Verification
Tekijä: Melham, T
Julkaistu: (1988)

Abstraction Mechanisms for Hardware Verification
Tekijä: Melham, T
Julkaistu: (1987)

Atividades de Raciocínio Lógico
Tekijä: Claudia Maria Galvani de Moura Bertasso
Julkaistu: (2009-01-01)

Formas no Tractatus Logico-Philosophicus
Tekijä: Luiz Henrique da Silva Santos
Julkaistu: (2022-03-01)

FUNDAMENTOS LÓGICOS DO CONHECIMENTO
Tekijä: Marilúze Ferreira de Andrade e Silva
Julkaistu: (2024-02-01)

Análisis lógico y jurídico
Tekijä: Raúl Madrid Ramírez, et al.
Julkaistu: (2008-08-01)

Caracterizando el desacuerdo lógico
Tekijä: Diego Tajer
Julkaistu: (2015-06-01)

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

Antirrealismo e Expressivismo Lógico
Tekijä: Acácio Ferreira, et al.
Julkaistu: (2021-07-01)

Effective verification for low-level software with competing interrupts
Tekijä: Liang, L, et al.
Julkaistu: (2017)

Formal Verification at Higher Levels of Abstraction
Tekijä: Kroening, D, et al.
Julkaistu: (2007)

Compiler verification meets cross-language linking via data abstraction
Tekijä: Wang, Peng, et al.
Julkaistu: (2015)

Accelerated test execution using GPUs
Tekijä: Rajan, A, et al.
Julkaistu: (2014)