Description
Theoretical Aspects of Computing - ICTAC 2012, 2012
9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings
Theoretical Computer Science and General Issues Series
Coordinators: Roychoudhury Abhik, D´Souza Meenakshi
Language: EnglishSubject for Theoretical Aspects of Computing - ICTAC 2012:
Keywords
automata; automated verification; formal methods; model checking; semantics
259 p. · 15.5x23.5 cm · Paperback
Description
/li>Contents
/li>Comment
/li>
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