Sortiert nach
Verification, Model Checking, and Abstract Interpretation, 2020, Vol.11990, p.314-336
2020
Link zum Volltext
Programming Languages and Systems, p.472-491
Link zum Volltext
Fundamental Approaches to Software Engineering, p.84-99
Link zum Volltext
Computer Aided Verification, p.49-66
Link zum Volltext
Static Analysis, 2018, Vol.11002, p.364-382
2018
Link zum Volltext
Service-Oriented Computing, p.36-52
Link zum Volltext
Fields of Logic and Computation II, 2015, Vol.9300, p.24-51
2015
Link zum Volltext
Computer Aided Verification, p.797-813
Link zum Volltext
Static Analysis, 2018, Vol.11002, p.127-145
2018
Link zum Volltext
Static Analysis, 2018, Vol.11002, p.383-401
2018
Link zum Volltext
Verified Software. Theories, Tools, and Experiments, 2018, Vol.11294, p.291-308
2018
Link zum Volltext
Static Analysis, p.334-350
Link zum Volltext
Service-Oriented Computing – ICSOC 2008, p.545-550
Link zum Volltext
Computer Aided Verification, p.314-327
Link zum Volltext
Semantics, Logics, and Calculi, 2016, Vol.9560, p.88-110
2016
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Computer Science, Theory & Methods
- Science & Technology
- Technology
- Logic
- Science & Technology - Other Topics
- Abstract Interpretation
- Computer Programming / Software Development
- Model Check
- Program Execution
- Ranking Function
- Termination Proof
- Abstract Domain
- Abstract State
- Atomic Proposition
- Automated Test Generation
- Basic Block
- Beschleunigung
- Cloud