Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

Formal Methods in System Design

Issue 3/2005

Content (4 Articles)

Formal Verification of the VAMP Floating Point Unit

Christian Jacobi, Christoph Berg

Checking Timed Büchi Automata Emptiness Efficiently

Stavros Tripakis, Sergio Yovine, Ahmed Bouajjani

Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics

T. Karvi, M. Tienari, R. Kaivola

Reduced Models for Efficient CCS Verification

Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini

Mar 05
Issue: 2/2005
Special Issue on Software Model Checking
Sep 05
Issue: 1-2/2005

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits