Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Specification languages
Verification
Alloy Analyzer
2
Alloy analyzers
2
Alloys
2
Analysis problems
2
Behavioral model
2
Behavioral modeling
2
Behavioral properties
2
Boolean satisfiability problems
2
Bounded verification
2
Bounded verifications
2
Computational linguistics
2
Computer hardware description languages
2
Decision making
2
Formal languages
2
Graphical languages
2
Novel techniques
2
Parallel SAT-solving
2
Parallel analysis
2
Parallelizations
2
Pattern representation
2
Pattern specifications
2
Property Specification
2
Requirements engineering
2
SAT-solving
2
Semantics
2
Software verification
2
Specification patterns
2
Specifications
2
-
1
-
2
-
3
-
4