Theoretical Aspects of Computing - ICTAC 2008
Springer Berlin (Verlag)
978-3-540-85761-7 (ISBN)
Using Design Patterns in Formal Methods: An Event-B Approach.- A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules.- The Three Platonic Models of Divergence-Strict CSP.- Monotonic Abstraction in Action.- Non-interleaving Semantics with Causality for Nondeterministic Dataflow.- Symbolic Reachability for Process Algebras with Recursive Data Types.- Inclusion Test Algorithms for One-Unambiguous Regular Expressions.- Refinement of Kripke Models for Dynamics.- Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers.- A Theory of Pointers for the UTP.- Recasting Constraint Automata into Büchi Automata.- A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables.- Towards Efficient Verification of Systems with Dynamic Process Creation.- An Observational Model for Transactional Calculus of Services Orchestration.- Everything Is PSPACE-Complete in Interaction Systems.- A New Approach for the Construction of Multiway Decision Graphs.- Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs.- Guided Test Generation from CSP Models.- Relaxing Goodness Is Still Good.- Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time.- Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems.- Testing Concurrent Objects with Application-Specific Schedulers.- A Theory of Bounded Fair Scheduling.- Fair Exchange Is Incomparable to Consensus.- Automatic Generation of CSP || B Skeletons from xUML Models.- Bounded Model Checking for Partial Kripke Structures.- Verification of Linear Duration Invariants by Model Checking CTL Properties.- Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks.-Endomorphisms for Non-trivial Non-linear Loop Invariant Generation.- Instantiation for Parameterised Boolean Equation Systems.
Erscheint lt. Verlag | 18.8.2008 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
Zusatzinfo | XI, 455 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 708 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
Schlagworte | Algorithm analysis and problem complexity • Automat • Automata • Automata Theory • Concurrent Systems • Cooperative Systems • CSP • Design Pattern • Distributed Computing • finite -state models • formal language • Formal Languages • formal methods • Formal Verification • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • kripke model • Model Checking • Modeling • Process Algebra • programming • Programming language • Programming Theory • pspace • real-time • Rewriting • Semantics • Simulation • software architecture • systems modeling • theorem proving • theoretical computer science • UML • verification |
ISBN-10 | 3-540-85761-3 / 3540857613 |
ISBN-13 | 978-3-540-85761-7 / 9783540857617 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich