Theoretical aspects of computing -- ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings / Helmut Seidl, Zhiming Liu, Corina S. Pasareanu (eds.).
ICTAC (Colloquium) (19th : 2022 : Tbilisi, Georgia); Seidl, Helmut (Computer scientist), editor.; Liu, Zhiming, 1961- editor.; Păsăreanu, Corina S., editor.
2022
QA75.5 .I78 2022eb
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Theoretical aspects of computing -- ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings / Helmut Seidl, Zhiming Liu, Corina S. Pasareanu (eds.).
Meeting Name ICTAC (Colloquium) (19th : 2022 : Tbilisi, Georgia)
ISBN 9783031177156 (electronic bk.)
3031177150 (electronic bk.)
9783031177149 (print)
3031177142
DOI https://doi.org/10.1007/978-3-031-17715-6
Published Cham, Swizterland : Springer, 2022.
Language English
Description 1 online resource (xiii, 482 pages) : illustrations (some color).
Item Number 10.1007/978-3-031-17715-6 doi
Call Number QA75.5 .I78 2022eb
Dewey Decimal Classification 004
Summary This book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022, which took place in Tbilisi, Georgia, in September 2022. The 23 papers presented in this volume together with 2 short papers were carefully reviewed and selected from 52 submissions. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
Note Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed October 5, 2022).
Added Author Seidl, Helmut (Computer scientist), editor.
Liu, Zhiming, 1961- editor.
Păsăreanu, Corina S., editor.
Series Lecture notes in computer science ; 13572. 1611-3349
Available in Other Form Print version: 9783031177149
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
VeriMon: A Formally Verified Monitoring Tool
Generalized Test Tables: A Domain-specific Specification Language for Automated Production
On Safety, Assurance and Reliability: A Software Engineering Perspective
Reachability Games and Parity Games
A PO Characterisation of Reconfiguration
Structural Rules and Algebraic Properties of Intersection Types
Florido Quantitative Weak Linearisation
On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems
Spatial and Timing Properties in Highway Traffic
Denotational and Algebraic Semantics for the CaIT calculus
Reconciling communication delays and negation
A Combinatorial Study of Async/Await Processes
Unsatisfiability of Comparison-Based Non-Malleability for Commitments
Alternating Automatic Register Machines
Functional Choreographic Programming
A Model Checking Based Approach to Detect Safety-Critical Adversarial Examples on Autonomous Driving Systems
Ground Confluence and Strong Commutation modulo Alpha-Equivalence in Nominal Rewriting
Local XOR Unification: Definitions, Algorithms and Application to Cryptography
A Matching Logic Foundation for Alk
A Type System with Subtyping for WebAssembly's Stack Polymorphism
A Verified Implementation of B+-trees in Isabelle/HOL
Toward a user interface description language based on bigraphs
A Specification Logic for Programs in the Probabilistic Guarded Command Language.

Browse Subjects

Show more subjects...

Statistics

from
to
Export