Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Theorem proving
2
Algebra
1
Algebraic specifications
1
Alloy analyzers
1
Alloys
1
Computer circuits
1
Feature extraction
1
Formal Description
1
Formal definition
1
Formal development
1
Formal methods
1
Formal specification
1
Formal systems
1
Lightweight formal methods
1
NASA
1
Networking domain
1
Non-trivial
1
Program debugging
1
Proof steps
1
Prototype verification systems
1
Reusability
1
Software requirements
1
Specification languages
1
Theorem provers
1
Universal algebra
1
Unsat cores
1
Verification
1
-
1Materias: “...Formal specification...”
SER -
2Materias: “...Lightweight formal methods...”
SER