Theoretical Aspects of Computing - ICTAC 2012, 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings Theoretical Computer Science and General Issues Series
Coordonnateurs : Roychoudhury Abhik, D´Souza Meenakshi
Symbolically Bounding the Drift in Time-Constrained MSC Graphs.- A Compositional Hierarchical Monitoring Automaton Constructionfor LTL.- How to Translate Efficiently Extensions of Temporal Logics
into Alternating Automata.- Correctness of Object Oriented Models by Extended Type Inference.- Non-termination Sets of Simple Linear Loops.- Definite Expression Aliasing Analysis for Java Bytecode.- Using Semantics Specified in Maude to Generate Test Cases.- A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation.- Modal Process Rewrite Systems.- S-Narrowing for Constructor Systems.- Data Privacy Using MASKETEERTM .- For Industry Day A Conformance Checker Tool CSPConCheck.- SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage.- Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols.- Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling.- A Cure for Stuttering Parity Games.- Ensuring Reachability by Design.- Approximate Verification and Enumeration Problems.- Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems.
Fast-track conference proceedings
State-of-the-art research
Up-to-date results
Date de parution : 08-2012
Ouvrage de 259 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 48,53 €
Ajouter au panierThème de Theoretical Aspects of Computing - ICTAC 2012 :
Mots-clés :
automata; automated verification; formal methods; model checking; semantics