Výsledky vyhľadávania - "Tools and Algorithms for the Construction and Analysis of Systems"

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Autori: Arie Gurfinkel Marijn Heule

Typ zdroja: eBook.

Predmet: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Autori: Bernd Finkbeiner Laura Kovács

Typ zdroja: eBook.

Predmet: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I

Autori: Sriram Sankaranarayanan Natasha Sharygina

Typ zdroja: eBook.

Predmet: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Kategórie: COMPUTERS / Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Autori: Dana Fisman Grigore Rosu

Typ zdroja: eBook.

Predmet: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Information Theory, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I

Autori: Jan Friso Groote Kim Guldstrand Larsen

Typ zdroja: eBook.

Predmet: System analysis--Congresses, Artificial intelligence, System design--Congresses, Computer software--Verification--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Hardware / General

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

Autori: Armin Biere David Parker

Typ zdroja: eBook.

Predmet: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Hardware / General, MATHEMATICS / Applied

Tools and Algorithms for the Construction and Analysis of Systems

Autori: Dirk Beyer Marieke Huisman Fabrice Kordon a ďalší

Typ zdroja: eBook.

Predmet: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Kategórie: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Simulation

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Autori: Tomáš Vojnar Lijun Zhang

Typ zdroja: eBook.

Predmet: Artificial intelligence, System analysis--Congresses, System design--Congresses, Computer software--Verification--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Logic Design, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms

Tools and Algorithms for the Construction and Analysis of Systems

Autori: Dirk Beyer Marieke Huisman

Typ zdroja: eBook.

Predmet: Software engineering, Computer logic, Computer science, Computer organization, Computers

Kategórie: COMPUTERS / Computer Science, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Tools and Algorithms for the Construction and Analysis of Systems

Prispievatelia: Gurfinkel, Arie Heule, Marijn

Predmety: TACAS, formal verification, software systems, hardware systems, static analysis, probabilistic programming, program synthesis, oncurrency, testing, simulations, verification of machine, Mathematical theory of computation, Computer hardware, Network hardware, Computer modelling and simulation, Software Engineering

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/101664

Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part III

Zdroj: Lecture Notes in Computer Science ISBN: 9783031906596

Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Zdroj: Lecture Notes in Computer Science ISBN: 9783031906527

Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Zdroj: Lecture Notes in Computer Science ISBN: 9783031906428

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III

Zdroj: Lecture Notes in Computer Science ISBN: 9783031572555

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Zdroj: Lecture Notes in Computer Science ISBN: 9783031572456

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Zdroj: Lecture Notes in Computer Science ISBN: 9783031572487

Tools and Algorithms for the Construction and Analysis of Systems

Prispievatelia: Finkbeiner, Bernd Kovács, Laura

Predmety: TACAS, formal verification, software systems, hardware systems, static analysis, probabilistic programming, program synthesis, concurrency, testing, simulations, verification of machine, Mathematical theory of computation, Computer hardware, Network hardware, Computer modelling and simulation, Software Engineering

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/89906

Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021: a special issue on tool papers for TACAS 2021

Autori: Jensen, Peter Gjøl Neele, Thomas

Zdroj: Jensen, P G & Neele, T 2023, 'Tools and algorithms for the construction and analysis of systems : a special issue on tool papers for TACAS 2021', International Journal on Software Tools for Technology Transfer, vol. 25, no. Special Issue: TACAS 2021, pp. 129-131. https://doi.org/10.1007/s10009-023-00699-x

Predmety: SAT and SMT solving, Software verification, 0202 electrical engineering, electronic engineering, information engineering, Tool environments and tool architectures, Hardware verification, 02 engineering and technology, Runtime verification, Static analysis, Theorem proving, Neural networks

Popis súboru: application/pdf

Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020

Autori: Biere, A Parker, D

Zdroj: Int J Softw Tools Technol Transf

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, General

Popis súboru: pdf

Prístupová URL adresa: https://pubmed.ncbi.nlm.nih.gov/36186273

Tools and Algorithms for the Construction and Analysis of Systems

Prispievatelia: Sankaranarayanan, Sriram Sharygina, Natasha

Predmety: Computer Science, Informatics, Conference Proceedings, Research, Applications, Computer science

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/63013