Resultados de procura - "program analysis,"
Suggested Topics within your search.
Suggested Topics within your search.
- program analysis 9
- embedded systems 7
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures 7
- thema EDItEUR::U Computing and Information Technology::UY Computer science 7
- model checking 6
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design 6
- Algorithms & data structures 5
- Mathematical theory of computation 5
- emerging models of computation 5
- language theory, automata, and games 5
- logical aspects of computational complexity 5
- logics of programming 5
- mathematics 5
- modal, spatial, and temporal logics 5
- models of software security 5
- software architecture 5
- software specification and refinement 5
- static and dynamic program analysis 5
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering 5
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation 5
- verification 5
- Computer science 4
- Control Structures and Microprogramming 4
- SAT and SMT solving 4
- Theory of Computation 4
- abstract interpretation 4
- architecture verification and validation 4
- automata theory 4
- categorical models and logics 4
- dependent types 4
-
Programming Languages and Systems
Publicado 2024Subjects: “...program analysis...”
Ligazón do recurso
Online -
Foundations of Software Science and Computation Structures
Publicado 2024Subjects: “...program analysis...”
Ligazón do recurso
Online -
Foundations of Software Science and Computation Structures
Publicado 2024Subjects: “...program analysis...”
Ligazón do recurso
Online -
Programming Languages and Systems
Publicado 2024Subjects: “...program analysis...”
Ligazón do recurso
Online -
Programming Languages and Systems
Publicado 2025Subjects: “...program analysis...”
Ligazón do recurso
Online -
Foundations of Software Science and Computation Structures
Publicado 2025Subjects: “...program analysis...”
Ligazón do recurso
Online -
Programming Languages and Systems
Publicado 2025Subjects: “...program analysis...”
Ligazón do recurso
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Publicado 2021Subjects: “...static and dynamic program analysis...”
Ligazón do recurso
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Publicado 2021Subjects: “...static and dynamic program analysis...”
Ligazón do recurso
Online -
Foundations of Software Science and Computation Structures
Publicado 2020Subjects: “...program analysis, correctness, transformation, and verification...”
Ligazón do recurso
Online -
Fundamental Approaches to Software Engineering
Publicado 2021Subjects: “...program analysis...”
Ligazón do recurso
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Publicado 2021Subjects: “...static and dynamic program analysis...”
Ligazón do recurso
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Publicado 2021Subjects: “...static and dynamic program analysis...”
Ligazón do recurso
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Publicado 2022Subjects: “...static and dynamic program analysis...”
Ligazón do recurso
Online -
Foundations of Software Science and Computation Structures
Publicado 2022Subjects: “...program analysis...”
Ligazón do recurso
Online -
Fundamental Approaches to Software Engineering
Publicado 2022Subjects: “...program analysis,...”
Ligazón do recurso
Online