Search Results - "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
Published 2024Subjects: “…program analysis…”
Get full text
Online -
Foundations of Software Science and Computation Structures
Published 2024Subjects: “…program analysis…”
Get full text
Online -
Foundations of Software Science and Computation Structures
Published 2024Subjects: “…program analysis…”
Get full text
Online -
Programming Languages and Systems
Published 2024Subjects: “…program analysis…”
Get full text
Online -
Programming Languages and Systems
Published 2025Subjects: “…program analysis…”
Get full text
Online -
Foundations of Software Science and Computation Structures
Published 2025Subjects: “…program analysis…”
Get full text
Online -
Programming Languages and Systems
Published 2025Subjects: “…program analysis…”
Get full text
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Published 2021Subjects: “…static and dynamic program analysis…”
Get full text
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Published 2021Subjects: “…static and dynamic program analysis…”
Get full text
Online -
Foundations of Software Science and Computation Structures
Published 2020Subjects: “…program analysis, correctness, transformation, and verification…”
Get full text
Online -
Fundamental Approaches to Software Engineering
Published 2021Subjects: “…program analysis…”
Get full text
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Published 2021Subjects: “…static and dynamic program analysis…”
Get full text
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Published 2021Subjects: “…static and dynamic program analysis…”
Get full text
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Published 2022Subjects: “…static and dynamic program analysis…”
Get full text
Online -
Foundations of Software Science and Computation Structures
Published 2022Subjects: “…program analysis…”
Get full text
Online -
Fundamental Approaches to Software Engineering
Published 2022Subjects: “…program analysis,…”
Get full text
Online