261
262
av Osama, Muhammad, Wijs, Anton, Biere, Armin
I publikationen Tools and Algorithms for the Construction and Analysis of Systems (2021)
“... algorithm is twice as fast as previous work. In experiments our new solver ParaFROST solves many benchmarks...”I publikationen Tools and Algorithms for the Construction and Analysis of Systems (2021)
Hämta fulltext
Hämta fulltext
Artigo
263
av Hsu, Tzu-Han, Sánchez, César, Bonakdarpour, Borzoo
I publikationen Tools and Algorithms for the Construction and Analysis of Systems (2021)
“...This paper introduces a bounded model checking (BMC) algorithm for hyperproperties expressed...”I publikationen Tools and Algorithms for the Construction and Analysis of Systems (2021)
Hämta fulltext
Hämta fulltext
Artigo
264
265
266
av Hausmann, Daniel, Schröder, Lutz
I publikationen Tools and Algorithms for the Construction and Analysis of Systems (2021)
“... game solving algorithm essentially shows how to compute the same fixpoint in only quasipolynomially...”I publikationen Tools and Algorithms for the Construction and Analysis of Systems (2021)
Hämta fulltext
Hämta fulltext
Artigo
267
av Wei, Anjiang, Yi, Pu, Xie, Tao, Marinov, Darko, Lam, Wing
I publikationen Tools and Algorithms for the Construction and Analysis of Systems (2021)
“... tests), prior work has developed tools that randomize orders to detect OD tests. Experiments have shown...”I publikationen Tools and Algorithms for the Construction and Analysis of Systems (2021)
Hämta fulltext
Hämta fulltext
Artigo
268
av Cimatti, Alessandro, Geatti, Luca, Griggio, Alberto, Kimberly, Greg, Tonetta, Stefano
I publikationen Tools and Algorithms for the Construction and Analysis of Systems (2020)
“...The initialization of complex cyber-physical systems often requires the interaction of various...”I publikationen Tools and Algorithms for the Construction and Analysis of Systems (2020)
Hämta fulltext
Hämta fulltext
Artigo
269
av Tan, Yong Kiam, Heule, Marijn J. H., Myreen, Magnus O.
I publikationen Tools and Algorithms for the Construction and Analysis of Systems (2021)
“...). However, the only existing method to validate proofs in this system with a formally verified tool requires...”I publikationen Tools and Algorithms for the Construction and Analysis of Systems (2021)
Hämta fulltext
Hämta fulltext
Artigo
270
“... cell signaling networks. However, novel visual tools are needed in order to make RBM accessible to a...”
Hämta fulltext
Hämta fulltext
Hämta fulltext
Hämta fulltext
Hämta fulltext
Hämta fulltext
Artigo
271
272
273
av Abbasi, Rosa, Schiffl, Jonas, Darulova, Eva, Ulbrich, Mattias, Ahrendt, Wolfgang
I publikationen Tools and Algorithms for the Construction and Analysis of Systems (2021)
“... floating-point support in a deductive verification tool for the Java programming language. Our support...”I publikationen Tools and Algorithms for the Construction and Analysis of Systems (2021)
Hämta fulltext
Hämta fulltext
Artigo
274
av Yellin, Daniel M., Weiss, Gail
I publikationen Tools and Algorithms for the Construction and Analysis of Systems (2021)
“...We present an algorithm for extracting a subclass of the context free grammars (CFGs) from a...”I publikationen Tools and Algorithms for the Construction and Analysis of Systems (2021)
Hämta fulltext
Hämta fulltext
Artigo
275
“... of high throughput data that demand the development of efficient and appropriate tools in computational...”
Hämta fulltext
Hämta fulltext
Livro
276
av Reger, Giles, Schoisswohl, Johannes, Voronkov, Andrei
I publikationen Tools and Algorithms for the Construction and Analysis of Systems (2021)
“...Reasoning with quantifiers and theories is at the core of many applications in program analysis...”I publikationen Tools and Algorithms for the Construction and Analysis of Systems (2021)
Hämta fulltext
Hämta fulltext
Artigo
277
“... evaluation -- Evaluation of SAT-based tools -- An analysis of SAT-based model checking techniques...”
Hämta fulltext
Hämta fulltext
Livro
278
279
av Lang, Frédéric, Mateescu, Radu, Mazzanti, Franco
I publikationen Tools and Algorithms for the Construction and Analysis of Systems (2020)
“..., the actions of the system under verification can be partitioned into sets of so-called weak and strong actions...”I publikationen Tools and Algorithms for the Construction and Analysis of Systems (2020)
Hämta fulltext
Hämta fulltext
Artigo
280