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)

Accelerating Bounded Model Checking of Safety Properties

Ofer Strichman

SAT-Solving the Coverability Problem for Petri Nets

Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén

A Constructive Approach to Hardware/Software Partitioning

Leila Silva, Augusto Sampaio, Edna Barros

Nov 03
Issue: 3/2003
Mar 04
Issue: 2/2004
Special Issue on Selected Papers from the First International Workshop on Runtime Verification Held in Paris, July 2001 (RV'01).

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits