MPG.eBooks - Search Results

1

Fundamental Approaches to Software Engineering...

Published 2024

Springer Nature Switzerland

Table of Contents: “...) -- KLEEF: Symbolic Execution Engine (Competition Contribution) -- TracerX: Pruning Dynamic Symbolic...”

Read Now

2

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...

Published 2018

Springer International Publishing

Subjects: “...Software engineering...”

Read Now

3

Verification, Model Checking, and Abstract Interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings

Published 2020

Springer International Publishing

Subjects: “...Software engineering...”

Read Now

4

Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed...

Published 2013

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

5

Tests and Proofs : 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

Published 2019

Springer International Publishing

Subjects: “...Software engineering...”

Read Now

6

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...

Published 2018

Springer International Publishing

Table of Contents: “... Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax...”

Read Now

7

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings...

Published 2019

Springer International Publishing

Table of Contents: “... Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A...”

Narrow Search