Vytvořit citaci
Poslat emailem
Exportovat záznam
Přidat do oblíbených
Objednat papírovou kopii

Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

Uloženo v:
Podrobná bibliografie
Další autoři: Butler, Michael (Editor)
Hinchey, Michael G (Editor)
Larrondo-Petrie, María M (Editor)
Korporace: SpringerLink (online služba)  
Médium: E-kniha
Jazyk:angličtina
Vydáno: Berlin ; Heidelberg : Springer Berlin Heidelberg, 2007
Edice:Lecture Notes in Computer Science
Žánr/forma:elektronické knihy
ISBN:978-3-540-76650-6
9783540766483
Témata:
On-line přístup:Plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
Obálka
Obsah:
  • 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