241
Por Budde, Carlos E., Hartmanns, Arnd
Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2021)
“... tools, and apply them to the models used originally. To do so, we had to resolve ambiguities...”Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2021)
Obter o texto integral
Obter o texto integral
Artigo
242
Por Peruffo, Andrea, Ahmed, Daniele, Abate, Alessandro
Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2021)
“... the numerical robustness of our algorithms and codebase....”Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2021)
Obter o texto integral
Obter o texto integral
Artigo
243
Por Budde, Carlos E., Biagi, Marco, Monti, Raúl E., D’Argenio, Pedro R., Stoelinga, Mariëlle
Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2020)
“...-critical equipment. Since many systems are too large to be studied numerically, DFTs dependability is often...”Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2020)
Obter o texto integral
Obter o texto integral
Artigo
244
Por Amir, Guy, Wu, Haoze, Barrett, Clark, Katz, Guy
Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2021)
“...Deep learning has emerged as an effective approach for creating modern software systems...”Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2021)
Obter o texto integral
Obter o texto integral
Artigo
245
Por Andriushchenko, Roman, Češka, Milan, Junges, Sebastian, Katoen, Joost-Pieter
Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2021)
“... that the novel CE construction provides a significantly faster and more effective pruning strategy leading...”Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2021)
Obter o texto integral
Obter o texto integral
Artigo
246
Por Afzal, Mohammad, Chakraborty, Supratik, Chauhan, Avriti, Chimdyalwar, Bharti, Darke, Priyanka, Gupta, Ashutosh, Kumar, Shrawan, Babu M, Charles, Unadkat, Divyesh, Venkatesh, R
Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2020)
“... interval analysis, and disjunctive loop summarization. These changes have improved the verification...”Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2020)
Obter o texto integral
Obter o texto integral
Artigo
247
Por Rocha, Herbert, Menezes, Rafael, Cordeiro, Lucas C., Barreto, Raimundo
Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2020)
“...Map2Check is a software verification tool that combines fuzzing, symbolic execution, and inductive...”Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2020)
Obter o texto integral
Obter o texto integral
Artigo
248
249
250
Por Fedyukovich, Grigory, Ernst, Gidon
Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2021)
“... as an algorithm for solving Constrained Horn Clauses (CHC) of a specific sort. It has been implemented on top...”Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2021)
Obter o texto integral
Obter o texto integral
Artigo
251
252
Por Chalupa, Marek, Jašek, Tomáš, Novák, Jakub, Řechtáčková, Anna, Šoková, Veronika, Strejček, Jan
Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2021)
“... of symbolic pointers. Further, we have tuned the shape analysis tool Predator (integrated already in Symbiotic...”Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2021)
Obter o texto integral
Obter o texto integral
Artigo
253
Por Bansal, Suguman, Chatterjee, Krishnendu, Vardi, Moshe Y.
Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2021)
“...Several problems in planning and reactive synthesis can be reduced to the analysis of two-player...”Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2021)
Obter o texto integral
Obter o texto integral
Artigo
254
Por Kolčák, Juraj, Dubut, Jérémy, Hasuo, Ichiro, Katsumata, Shin-ya, Sprunger, David, Yamada, Akihisa
Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2020)
“...In the field of quality assurance of hybrid systems, Platzer’s differential dynamic logic (dL...”Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2020)
Obter o texto integral
Obter o texto integral
Artigo
255
Por Frenkel, Hadar, Grumberg, Orna, Pasareanu, Corina, Sheinvald, Sarai
Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2020)
“... proving that the (current) system satisfies the specification, or alters the system in a way that brings...”Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2020)
Obter o texto integral
Obter o texto integral
Artigo
256
Por Majumdar, Rupak, Thinniyam, Ramanathan S., Zetzsche, Georg
Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2021)
“...The model of asynchronous programming arises in many contexts, from low-level systems software...”Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2021)
Obter o texto integral
Obter o texto integral
Artigo
257
“..., the analysis of which enables to develop algorithms for monitoring and forecasting, and to prevent equipment...”
Obter o texto integral
Obter o texto integral
Artigo
258
Por Beyer, Dirk, Dangl, Matthias
Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2020)
“...Property-directed reachability (PDR) is a SAT/SMT-based reachability algorithm that incrementally...”Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2020)
Obter o texto integral
Obter o texto integral
Artigo
259
260
Por Angluin, Dana, Fisman, Dana, Shoval, Yaara
Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2020)
“... and data. We further show that for these classes a characteristic sample can be constructed in polynomial...”Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2020)
Obter o texto integral
Obter o texto integral
Artigo