Tools and algorithms for the construction and analysis of systems 12th international conference...

gan TACAS 2006, Hermanns, Holger., Palsberg, Jens.
Cyhoeddwyd 2006.

Tools and algorithms for the construction and analysis of systems 14th International Conference...

gan TACAS (Conferência), Ramakrishnan, C. R., Rehof, Jakob., ETAPS (Conferência)
Cyhoeddwyd c2008

Tools and algorithms for the construction and analysis of systems 13th international conference...

gan TACAS 2007, Grumberg, Orna., Huth, Michael.
Cyhoeddwyd 2007.

Tools and algorithms for the construction and analysis of systems 18th International Conference...

gan TACAS (Conferência), Flanagan, Cormac., König, Barbara
Cyhoeddwyd 2012.

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference...

gan Dirk Beyer, Marieke Huisman
Cyhoeddwyd yn Theoretical Computer Science and General Issues (2018)

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference...

Cyhoeddwyd yn Theoretical Computer Science and General Issues (2018)

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference...

Cyhoeddwyd yn Theoretical Computer Science and General Issues (2018)

Structural Invariants for the Verification of Systems with Parameterized Architectures

gan Bozga, Marius, Esparza, Javier, Iosif, Radu, Sifakis, Joseph, Welzel, Christoph
Cyhoeddwyd yn Tools and Algorithms for the Construction and Analysis of Systems (2020)

COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution)

gan Visser, Willem, Geldenhuys, Jaco
Cyhoeddwyd yn Tools and Algorithms for the Construction and Analysis of Systems (2020)

Discourje: Runtime Verification of Communication Protocols in Clojure

gan Hamers, Ruben, Jongmans, Sung-Shik
Cyhoeddwyd yn Tools and Algorithms for the Construction and Analysis of Systems (2020)

Describing and Simulating Concurrent Quantum Systems

gan Bornat, Richard, Boender, Jaap, Kammueller, Florian, Poly, Guillaume, Nagarajan, Rajagopal
Cyhoeddwyd yn Tools and Algorithms for the Construction and Analysis of Systems (2020)

Deciding the Bisimilarity of Context-Free Session Types

gan Almeida, Bernardo, Mordido, Andreia, Vasconcelos, Vasco T.
Cyhoeddwyd yn Tools and Algorithms for the Construction and Analysis of Systems (2020)

Verifying OpenJDK’s LinkedList using KeY

gan Hiep, Hans-Dieter A., Maathuis, Olaf, Bian, Jinting, de Boer, Frank S., van Eekelen, Marko, de Gouw, Stijn
Cyhoeddwyd yn Tools and Algorithms for the Construction and Analysis of Systems (2020)

GACAL: Conjecture-Based Verification: (Competition Contribution)

gan Quiring, Benjamin, Manolios, Panagiotis
Cyhoeddwyd yn Tools and Algorithms for the Construction and Analysis of Systems (2020)

2LS: Heap Analysis and Memory Safety: (Competition Contribution)

gan Malík, Viktor, Schrammel, Peter, Vojnar, Tomáš
Cyhoeddwyd yn Tools and Algorithms for the Construction and Analysis of Systems (2020)

Fold/Unfold Transformations for Fixpoint Logic

gan Kobayashi, Naoki, Fedyukovich, Grigory, Gupta, Aarti
Cyhoeddwyd yn Tools and Algorithms for the Construction and Analysis of Systems (2020)

PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution)

gan Peringer, Petr, Šoková, Veronika, Vojnar, Tomáš
Cyhoeddwyd yn Tools and Algorithms for the Construction and Analysis of Systems (2020)

Formalized Proofs of the Infinity and Normal Form Predicates in the First-Order Theory of Rewriting

gan Lochmann, Alexander, Middeldorp, Aart
Cyhoeddwyd yn Tools and Algorithms for the Construction and Analysis of Systems (2020)

Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints: (Competition Contribution)

gan Saan, Simmo, Schwarz, Michael, Apinis, Kalmer, Erhard, Julian, Seidl, Helmut, Vogler, Ralf, Vojdani, Vesal
Cyhoeddwyd yn Tools and Algorithms for the Construction and Analysis of Systems (2021)

Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes

gan Meyer, Fabian, Hark, Marcel, Giesl, Jürgen
Cyhoeddwyd yn Tools and Algorithms for the Construction and Analysis of Systems (2021)