Výsledky vyhledávání - compositional and refinement-based methodologies

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II Autor Biere, Armin, Parker, David

“…This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of…”
Získat plný text

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I Autor Biere, Armin, Parker, David

“…This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of…”
Získat plný text

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I

“…This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of…”
Získat plný text

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II

“…This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of…”
Získat plný text

Adaptive mesh refinement and coarsening for compositional reservoir simulation Autor Gonzalez Abad, Karin Gabriela

“… The methodology targets individual cells for refinement based on forecasted compositional fronts calculated using streamlines and the analytical convection-dispersion transport equation…”
Získat plný text

Compositional Verification Using a Formal Component and Interface Specification Autor Xing, Yue, Lu, Huaixi, Gupta, Aarti, Malik, Sharad

“…Property-based specification such a s SystemVerilog Assertions (SVA) uses mathematical logic to specify the temporal behavior of RTL designs which can then be…”
Získat plný text

Heterogeneous Behavioral Hierarchy Extensions for SystemC Autor Patel, H.D., Shukla, S.K., Bergamaschi, R.A.

“… For an effective methodology, efficiency of simulation and a sound refinement-based implementation path are also necessary…”
Získat plný text

OCRA: A tool for checking the refinement of temporal contracts Autor Cimatti, Alessandro, Dorigatti, Michele, Tonetta, Stefano

“… In fact, contract-based design enables stepwise refinement, compositional verification, and reuse of components…”
Získat plný text

Heterogeneous Behavioral Hierarchy for System Level Designs Autor Patel, H.D., Shukla, S.K., Bergamaschi, R.A.

“… For an effective methodology, efficiency of simulation and a sound refinement based implementation path are also necessary…”
Získat plný text

Igloo: soundly linking compositional refinement and separation logic for distributed system verification Autor Sprenger, Christoph, Klenze, Tobias, Eilers, Marco, Wolf, Felix A., Müller, Peter, Clochard, Martin, Basin, David

“… of suboptimal code extraction or inexpressive program logics. We propose a novel methodology that combines the compositional refinement of event-based models of distributed…”
Získat plný text

Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification Autor Sprenger, Christoph, Klenze, Tobias, Eilers, Marco, Wolf, Felix A, Müller, Peter, Clochard, Martin, Basin, David

“… We propose a novel methodology that combines the compositional refinement of abstract, event-based models of distributed systems with the verification of full-fledged program code using expressive…”
Získat plný text

Local and Compositional Reasoning for Optimized Reactive Systems

Získat plný text