Theoretical Aspects of Computing - ICTAC 2012
Springer Berlin (Verlag)
978-3-642-32942-5 (ISBN)
Symbolically Bounding the Drift in Time-Constrained MSC Graphs.- A Compositional Hierarchical Monitoring Automaton Construction for 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.
| Erscheint lt. Verlag | 7.8.2012 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
| Zusatzinfo | XII, 259 p. 74 illus. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 421 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
| Informatik ► Theorie / Studium ► Compilerbau | |
| Schlagworte | Automata • Automated Verification • formal methods • Model Checking • Semantics |
| ISBN-10 | 3-642-32942-X / 364232942X |
| ISBN-13 | 978-3-642-32942-5 / 9783642329425 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
