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 1/2004

Content (3 Articles)

Connectivity Testing

Jens Chr. Godskesen

Using Forward Reachability Analysis for Verification of Lossy Channel Systems

Parosh Aziz Abdulla, Aurore Collomb-Annichini, Ahmed Bouajjani, Bengt Jonsson

Static Analysis for State-Space Reductions Preserving Temporal Logics

Karen Yorav, Orna Grumberg

May 04
Issue: 3/2004
Sep 04
Issue: 2-3/2004
Software Model Checking

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits