Finding inductive invariants using satisfiability modulo theories and convex optimization
L'analyse statique correcte d'un programme consiste à obtenir des propriétés vraies de toute exécution de ce programme. Celles-ci sont utiles pour démontrer des caractéristiques appréciables du logiciel, telles que l'absence de dépassement de capacité ou autre erreur à l'exécutio...
Main Author: | Karpenkov, George Egor |
---|---|
Other Authors: | Grenoble Alpes |
Language: | en |
Published: |
2017
|
Subjects: | |
Online Access: | http://www.theses.fr/2017GREAM015/document |
Similar Items
-
Mapping and scheduling on multi-core processors using SMT solvers
by: Tendulkar, Pranav
Published: (2014) -
Satisfiability modulo relations: theory and applications
by: Meng, Baoluo
Published: (2018) -
Previsão de desvios em arquiteturas multitarefas simultâneas
by: Dal Pizzol, Guilherme
Published: (2007) -
Previsão de desvios em arquiteturas multitarefas simultâneas
by: Dal Pizzol, Guilherme
Published: (2007) -
Previsão de desvios em arquiteturas multitarefas simultâneas
by: Dal Pizzol, Guilherme
Published: (2007)