| Login | | Don't have an account yet? You can create one. As a registered user you have some advantages like theme manager, comments configuration and post comments with your name. | |
| Who's Online | There are currently, 43 guest(s) and 0 member(s) that are online.
You are Anonymous user. You can register for free by clicking here | |
 | |
|
Verification Guild: Forums |
|
| View previous topic :: View next topic |
| Author |
Message |
Newsletter
Original Contribution
Joined: Dec 08, 2003
Posts: 1107
|
 Posted: Mon Dec 01, 2003 12:00 am Post subject: Report on IBM-Haifa Verification Seminar |
 |
|
(Originally from Issue 4.18, Item 6.0)
From: Yaron Wolfsthal 
The annual IBM verification seminar in Haifa has covered a number of
subjects which might be of interest to the Guild's readership,
including:
- Specialized techniques/tools for testcase generation, e.g.
- "deep knowledge test generation" for floating point units
- new constraint-satisfaction algorithms
- A unified approach for expressing properties that reason about
finite scenarios, as implemented in PSL/Sugar
- Verification methodogies, including overview presentations from
Intel, Cisco, Motorola and Analog Devices (the latter talk
described an interesting combination of dynamic + formal
approaches)
- Research reports about new formal verification algorithms
- A methodology and tool for low-power validation
Abstracts of the talks, and most presentations, have been posted at
http://www.haifa.il.ibm.com/Workshops/verification2003/index.html
- Yaron Wolfsthal, IBM |
|
| Back to top |
|
 |
|
|
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum
|
| |
|
|
Forum FAQ
Search
Usergroups
Profile
Digest
Log in
