Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
77
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
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
Behavioral properties
6
-
1Materias: “...Static verification...”
-
2Materias: “...Static verification...”
CONF -
3por De Greca, Francisco, Rossi, Bibiana D., Robiolo, Gabriela, Travassos, Guilherme HortaMaterias: “...Verification...”
Publicado 2015
Aportado por: SEDICI (UNLP)Objeto de conferencia -
4por Ramirez, AldanaMaterias: “...runtime verification...”
Publicado 2022
bachelorThesis Tésis de Grado -
5
-
6
-
7
-
8Materias: “...Verification...”
Aportado por: RIA - Repositorio Institucional Abierto (UTN)Artículo acceptedVersion -
9Materias: “...Verification...”
Aportado por: RIA - Repositorio Institucional Abierto (UTN)Artículo acceptedVersion -
10Materias: “...automated program verification...”
-
11Materias: “...automated program verification...”
JOUR -
12
-
13
-
14
-
15
-
16por Asteasuain, FernandoMaterias: “...Formal Verification...”
Publicado 2022
Aportado por: SEDICI (UNLP)Objeto de conferencia -
17
-
18por Larrea, Martín LeonardoMaterias: “...Software/Program Verification...”
Publicado 2017
Aportado por: SEDICI (UNLP)Articulo -
19por 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 -
20