Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Verification
47
Ciencias Informáticas
44
Model checking
28
Formal methods
17
Semantics
14
Software verification
13
Automata theory
12
VERIFICATION
11
Formal logic
10
Software engineering
10
Specification languages
10
Specifications
10
Static analysis
10
Theory of computation
10
Program verification
9
Software
9
Alloy analyzers
8
Alloys
8
Computer software
8
Data structures
8
Eclipse plug-in
8
Java programming language
8
Plug-ins
8
Propositional variables
8
Real time systems
8
Tools
8
TACO
7
ALLOY
6
Algorithms
6
Alloy
6
-
1por Kessler, J. ChristianMaterias: “...Nuclear arms control Verification....”
Publicado 1995
Aportado por: Biblioteca Max von Buch (UdeSA)Libro -
2Materias: “...Static verification...”
-
3Materias: “...Static verification...”
CONF -
4por De Greca, Francisco, Rossi, Bibiana D., Robiolo, Gabriela, Travassos, Guilherme HortaMaterias: “...Verification...”
Publicado 2015
Aportado por: SEDICI (UNLP)Objeto de conferencia -
5por Ramirez, AldanaMaterias: “...runtime verification...”
Publicado 2022
bachelorThesis Tésis de Grado -
6
-
7
-
8
-
9Materias: “...Verification...”
Aportado por: RIA - Repositorio Institucional Abierto (UTN)Artículo acceptedVersion -
10Materias: “...Verification...”
Aportado por: RIA - Repositorio Institucional Abierto (UTN)Artículo acceptedVersion -
11Materias: “...automated program verification...”
-
12Materias: “...automated program verification...”
JOUR -
13
-
14
-
15
-
16
-
17por Asteasuain, FernandoMaterias: “...Formal Verification...”
Publicado 2022
Aportado por: SEDICI (UNLP)Objeto de conferencia -
18
-
19por Larrea, Martín LeonardoMaterias: “...Software/Program Verification...”
Publicado 2017
Aportado por: SEDICI (UNLP)Articulo -
20por Etchart, Graciela, Ruíz, Silvia, Miranda, Ernesto, Aguirre, Juan José, Herlein, Mauro, Alvez, Carlos E.Materias: “...Verification...”
Publicado 2017
Aportado por: SEDICI (UNLP)Objeto de conferencia