Formal Methods and Software Engineering
Springer Berlin (Verlag)
978-3-540-76648-3 (ISBN)
Invited Talks.- A System Development Process with Event-B and the Rodin Platform.- Challenges in Software Certification.- Security and Knowledge.- Integrating Formal Methods with System Management.- Formal Engineering of XACML Access Control Policies in VDM++.- A Verification Framework for Agent Knowledge.- Embedded Systems.- From Model-Based Design to Formal Verification of Adaptive Embedded Systems.- Machine-Assisted Proof Support for Validation Beyond Simulink.- VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System.- Testing.- Integrating Specification-Based Review and Testing for Detecting Errors in Programs.- Testing for Refinement in CSP.- Reducing Test Sequence Length Using Invertible Sequences.- Automated Analysis.- Model Checking with SAT-Based Characterization of ACTL Formulas.- Automating Refinement Checking in Probabilistic System Design.- Model Checking in Practice: Analysis of Generic Bootloader Using SPIN.- Model Checking Propositional Projection Temporal Logic Based on SPIN.- Hardware.- A Denotational Semantics for Handel-C Hardware Compilation.- Automatic Generation of Verified Concurrent Hardware.- Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking.- Concurrency.- Efficient Symbolic Execution of Large Quantifications in a Process Algebra.- Formalizing SANE Virtual Processor in Thread Algebra.- Calculating and Composing Progress Properties in Terms of the Leads-to Relation.- Erratum.- Erratum to: Challenges in Software Certification.
Erscheint lt. Verlag | 7.11.2007 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
Zusatzinfo | VIII, 387 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 603 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
Informatik ► Theorie / Studium ► Compilerbau | |
Schlagworte | Automata • CASE Tools • Dependable Systems • Design Patterns • distributed testing • Embedded Systems • fault tolerance • formal methods • Formal Software Development • formal specification • Formal Verification • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • Hybrid Systems • Model Checking • model-driven communication • Modeling • object-oriented programming • programming paradigms • Semantics • semantic web services • Systems Analysis • systems verification • theorem proving • verification |
ISBN-10 | 3-540-76648-0 / 3540766480 |
ISBN-13 | 978-3-540-76648-3 / 9783540766483 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich