FME '97 Industrial Applications and Strengthened Foundations of Formal Methods
Springer Berlin (Verlag)
978-3-540-63533-8 (ISBN)
Diagrams and programming languages for programmable controllers.- Graphical specification and reasoning: Case study generalised railroad crossing.- A graphic notation for formal specifications of dynamic systems.- A semantic integration of object-Z and CSP for the specification of concurrent systems.- Class refinement and interface refinement in object-oriented programs.- Formalizing requirements for distributed systems with trace diagrams.- Consistent graphical specification of distributed systems.- Design of reactive control systems for event-driven operations.- An M-Net semantics for a real-time extension of µSDL.- Reconciling real-time with asynchronous message passing.- Specifying the remote controlling of valves in an explosion test environment.- PICGAL: Practical use of formal specification to develop a complex critical system.- Mathematical modeling and analysis of an external memory manager.- Automatic translation of VDM-SL specifications into gofer.- Towards an Integrated CASE and theorem proving tool for VDM-SL.- Specification of required non-determinism.- A corrected failure-divergence model for CSP in Isabelle/HOL.- A proof obligation generator for VDM-SL.- Verification of cryptographic protocols: An experiment.- TLA + PROMELA: Conjecture, check, proof.- A TLA solution to the specification and verification of the RLP1 retransmission protocol.- An efficient technique for deadlock analysis of large scale process networks.- Implementing a model checker for LEGO.- Formal verification of transformations for peephole optimization.- A meta-method for formal method integration.- Reuse of verified design templates through extended pattern matching.- A compositional proof system for shared variable concurrency.- A framework for modular formal specification andverification.- A timed semantics for the StateMate implementation of statecharts.- Using PVS to prove a Z refinement: A case study.- Verification of reactive systems using DisCo and PVS.- Term rewrite systems to derive set boolean operations on 2D objects.- A normal form reduction strategy for hardware/software partitioning.- Viewpoint consistency in Z and LOTOS: A case study.- A UNITY mapping operator for distributed programs.
Erscheint lt. Verlag | 3.9.1997 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science |
Zusatzinfo | XIV, 694 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 1053 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
Informatik ► Theorie / Studium ► Compilerbau | |
Schlagworte | Design • Development • Distributed Systems • formale Sprachen • Formal Method • formal methods • formal specification • Formal Verification • Hardcover, Softcover / Informatik, EDV/Informatik • Mathematica • Modeling • Optimization • programming • Programming language • Semantics • Software Engineering / Softwareentwicklung • Softwareentwicklung • Technology • verification |
ISBN-10 | 3-540-63533-5 / 3540635335 |
ISBN-13 | 978-3-540-63533-8 / 9783540635338 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich