Lost in abstraction: monotonicity in multi-threaded programs

Lost in abstraction: monotonicity in multi-threaded programs

Veure altres versions (1)

Monotonicity in concurrent systems stipulates that, in any global state, system actions remain executable when new processes are added to the state. This concept is both natural and useful: if every thread's memory is finite, monotonicity often guarantees the decidability of safety properties e...

Descripció completa

Dades bibliogràfiques
Autors principals:	Kaiser, A, Kroening, D, Wahl, T
Format:	Journal article
Publicat:	Elsevier 2016

Ítems similars

Lost in abstraction: monotonicity in multi-threaded programs
per: Kaiser, A, et al.
Publicat: (2014)

Verifying multi-threaded software with impact
per: Wachter, B, et al.
Publicat: (2013)

Verifying Multi−threaded Software with Impact
per: Wachter, B, et al.
Publicat: (2013)

Counterexample-guided abstraction refinement for symmetric concurrent programs
per: Donaldson, A, et al.
Publicat: (2012)

Verification of Boolean Programs with Unbounded Thread Creation
per: Cook, B, et al.
Publicat: (2007)

Verification of Boolean programs with unbounded thread creation.
per: Cook, B, et al.
Publicat: (2007)

Over−Approximating Boolean Programs with Unbounded Thread Creation
per: Cook, B, et al.
Publicat: (2006)

A widening approach to multithreaded program verification
per: Kaiser, A, et al.
Publicat: (2014)

Monotonicity in shared-memory program verification
per: Kaiser, A
Publicat: (2013)

Strengthening properties using abstraction refinement
per: Purandare, M, et al.
Publicat: (2009)

Context-aware counter abstraction.
per: Basler, G, et al.
Publicat: (2010)

Abstract Fractional Monotone Approximation with Applications
per: George A. Anastassiou
Publicat: (2021-10-01)

Counterexample Guided Abstraction Refinement via Program Execution
per: Groce, A, et al.
Publicat: (2004)

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

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

Quantitative Security Analysis for Multi-threaded Programs
per: Tri Minh Ngo, et al.
Publicat: (2013-06-01)

Composable abstractions for synchronization in dynamic threading platforms
per: Sukha, Jim
Publicat: (2012)

Formalizing and checking thread refinement for data-race-free execution models
per: Poetzl, D, et al.
Publicat: (2016)

Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models
per: Kroening, D, et al.
Publicat: (2016)

Efficient coverability analysis by proof minimization
per: Kaiser, A, et al.
Publicat: (2012)

Predicate Abstraction of ANSI–C Programs using SAT
per: Clarke, E, et al.
Publicat: (2015)

Predicate Abstraction of ANSI-C Programs Using SAT.
per: Clarke, E, et al.
Publicat: (2004)

Predicate abstraction of ANSI-C programs using SAT
per: Clarke, E, et al.
Publicat: (2004)

Predicate Abstraction of ANSI-C Programs Using SAT
per: Clarke, E, et al.
Publicat: (2004)

Bisimulation for Secure Information Flow Analysis of Multi-Threaded Programs
per: Ali A. Noroozi, et al.
Publicat: (2019-06-01)

Programming with POSIX threads /
per: 420114 Butenhof, David R.
Publicat: (1997)

Programming with UNIX Threads /
per: 178470 Northrup, Charles J.
Publicat: (1996)

Monotonic Abstraction Techniques: from Parametric to Software Model Checking
per: Francesco Alberti, et al.
Publicat: (2014-11-01)

Performance improvement of developed program by using multi-thread technique
per: Surasak Jabal, et al.
Publicat: (2015-03-01)

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

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

Abstraction of Syntax
per: D'Silva, V, et al.
Publicat: (2013)

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

Street Children, Thread Lost During the Pandemic Covid-19: Training an Essential Need
per: Mohammad Khammarnia, et al.
Publicat: (2021-08-01)

Street Children, Thread Lost During the Pandemic Covid-19: Training an Essential Need
per: Mohammad Khammarnia, et al.
Publicat: (2021-08-01)

Migrating from Developing Asynchronous Multi-Threading Programs to Reactive Programs in Java
per: Andrei Zbarcea, et al.
Publicat: (2024-12-01)

Multi-Threaded Actors
per: Keyvan Azadbakht, et al.
Publicat: (2016-08-01)

Formal Verification at Higher Levels of Abstraction
per: Kroening, D, et al.
Publicat: (2007)

Plagiarism Detection of Multi-Threaded Programs via Siamese Neural Networks
per: Zhenzhou Tian, et al.
Publicat: (2020-01-01)

Abstract Satisfaction
per: D'Silva, V, et al.
Publicat: (2014)