Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Verification tools
6
Automata theory
4
Timed Automata
4
Algorithms
2
Bounded program verifications
2
Computational complexity
2
Computer aided analysis
2
Data flow analysis
2
Empirical evaluations
2
Formal logic
2
Formal methods
2
Information use
2
Logical representations
2
Modelling elements
2
NP complete problems
2
Optimization tools
2
Optimized models
2
Original model
2
Parallel composition
2
Program translators
2
Propositional formulas
2
Propositional variables
2
Real time systems
2
Relevant components
2
SAT solvers
2
SAT-based bounded verification
2
State-space explosion
2
State-space reduction
2
Time sharing systems
2
Timed systems
2
-
1Materias: “...Verification tools...”
-
2Materias: “...Verification tools...”
SER -
3Materias: “...Verification tools...”
-
4Materias: “...Verification tools...”
SER -
5Materias: “...Verification tools...”
-
6Materias: “...Verification tools...”
SER -
7por Putruele, Luciano, Demasi, Ramiro Adrián, Castro, Pablo Francisco, D'Argenio, Pedro RubenMaterias: “...Verification tool...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)publishedVersion article