Loading…
A Divide & Conquer Approach to Conditional Stable Model Checking
Phyo, Yati, Do, Canh Minh, Ogata, Kazuhiro
Published in Theoretical Aspects of Computing - ICTAC 2021 (2021)
Published in Theoretical Aspects of Computing - ICTAC 2021 (2021)
Get full text
Book Chapter
Loading…
Reactive Synthesis from Visibly Register Pushdown Automata
Senda, Ryoma, Takata, Yoshiaki, Seki, Hiroyuki
Published in Theoretical Aspects of Computing - ICTAC 2021 (2021)
Published in Theoretical Aspects of Computing - ICTAC 2021 (2021)
Get full text
Book Chapter
Loading…
Certifying Choreography Compilation
Cruz-Filipe, Luís, Montesi, Fabrizio, Peressotti, Marco
Published in Theoretical Aspects of Computing - ICTAC 2021 (2021)
Published in Theoretical Aspects of Computing - ICTAC 2021 (2021)
Get full text
Book Chapter
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
A Mechanically Verified Theory of Contracts
Kastenbaum, Stéphane, Boyer, Benoît, Talpin, Jean-Pierre
Published in Theoretical Aspects of Computing - ICTAC 2021 (2021)
Published in Theoretical Aspects of Computing - ICTAC 2021 (2021)
Get full text
Book Chapter
Loading…
Loading…
AlCons : Deductive Synthesis of Sorting Algorithms in Theorema
Drămnesc, Isabela, Jebelean, Tudor
Published in Theoretical Aspects of Computing - ICTAC 2021 (2021)
Published in Theoretical Aspects of Computing - ICTAC 2021 (2021)
Get full text
Book Chapter
Loading…
Normalising Lustre Preserves Security
Prasad, Sanjiva, Yerraguntla, R. Madhukar
Published in Theoretical Aspects of Computing - ICTAC 2021 (2021)
Published in Theoretical Aspects of Computing - ICTAC 2021 (2021)
Get full text
Book Chapter
Loading…
Learning Probabilistic Automata Using Residuals
Chu, Wenjing, Chen, Shuo, Bonsangue, Marcello
Published in Theoretical Aspects of Computing - ICTAC 2021 (2021)
Published in Theoretical Aspects of Computing - ICTAC 2021 (2021)
Get full text
Book Chapter
Loading…
Loading…
Some Aspects of the Database Resilience
Bustamante, Luis Henrique, Martins, Ana Teresa
Published in Theoretical Aspects of Computing - ICTAC 2021 (2021)
Published in Theoretical Aspects of Computing - ICTAC 2021 (2021)
Get full text
Book Chapter
Loading…