Leszek Holenderski  Home/Search
Context
Related
| win.tue.nl/~lhol/paper...SPIN2001.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: win.tue.nl/~lhol/papers/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A new verification project has recently started at Philips Research. It concerns verification of C-like concurrent programs used to specify functionality of hardware-software systems. The problem is to make the verification practical, in the sense that it must be mechanized, and applicable to thousands of lines of C-like code. We present the goals of the project and some combination of existing solutions we want to try. (Update)
Similar documents (at the sentence level):
9.4%: System Level Verification at Philips - Holenderski (2001) (Correct)
Active bibliography (related documents): More All
0.2: C-HEAP: A Heterogeneous Multi-processor Architecture.. - Nieuwland, Kang.. (2002) (Correct)
0.1: Verifying Time Partitioning in the DEOS Scheduling Kernel - Penix, Visser, Park, al. (2004) (Correct)
0.1: Model Checking the Garbage Collection Mechanism of SMV - Eisner (2001) (Correct)
Similar documents based on text: More All
0.3: A Brief Survey of the Recent Developments in.. - Cai, Lloyd, Jelly (Correct)
0.2: Symmetric Spin - Bosnacki, Dams, Holenderski (2000) (Correct)
0.2: Systematic Testing and Formal Verification to.. - Müllerburg.. (1995) (Correct)
BibTeX entry: (Update)
@article{ holenderski01model,
author = "Leszek Holenderski",
title = "A Model Checking Project at {Philips Research}",
journal = "Lecture Notes in Computer Science",
volume = "2057",
pages = "288+",
year = "2001",
url = "citeseer.ist.psu.edu/holenderski01model.html" }
Citations (may not include all citations):270 Bandera: Extracting Finite-state Models from Java Source Cod.. - Corbett - 2000
206 The Model Checker Spin - Holzmann - 1997
140 Model Checking Java Programs Using Java PathFinder - Havelund, Pressburger - 2000
123 Model Checking for Programming Languages using VeriSoft - Godefroid
57 A deadlock detection tool for concurrent Java programs (context) - Demartini, Iosif et al. - 1999
35 Java PathFinder - Second Generation of a Java Model Checker - Visser - 2000
23 Using Runtime Analysis to Guide Model Checking of Java Progr.. - Havelund
11 COSY: a Methodology for System Design Based on Reusable Hard.. (context) - Brunel - 1998
9 Logic Verication of ANSI-C code with SPIN (context) - Holzmann
9 YAPI: Application Modelling for Signal Processing Systems (context) - de Kock
1 ote de Resyste in PROGRESS (context) - de Vries
http://fmt.cs.utwente.nl/projects/CdR-html
Documents on the same site (http://www.win.tue.nl/~lhol/papers/index.html): More
Combining Testing and Formal Verification for Validating.. - Müllerburg, Holenderski (1994) (Correct)
The Synchronous Approach to Designing Reactive Systems - Poigné, Morley, Maffeis (1998) (Correct)
System Level Verification at Philips - Holenderski (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC