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.
Alloy analyzers
4
Alloys
4
Theorem provers
4
Verification
4
Alloy Analyzer
2
Analysis and verifications
2
Automated analysis
2
Calculations
2
Ciencias Informáticas
2
Complex networks
2
Computer aided software engineering
2
Feature extraction
2
Formal methods
2
Interoperability
2
Interoperating networks
2
Lightweight formal methods
2
Networking domain
2
Non-trivial
2
Program debugging
2
Proof calculus
2
Proof steps
2
Semiautomatic theorem
2
Software prototyping
2
Software requirements
2
Specifications
2
Theorem proving
2
Unsat cores
2
Application
1
Applications
1
Compiler design
1
-
1
-
2Materias: “...Theorem provers...”
SER -
3Materias: “...Theorem provers...”
-
4Materias: “...Theorem provers...”
SER -
5Materias: “...Theorem provers...”
-
6