●Stories
●Firehose
●All
●Popular
●Polls
●Software
●Thought Leadership
Submit
●
Login
●or
●
Sign up
●Topics:
●Devices
●Build
●Entertainment
●Technology
●Open Source
●Science
●YRO
●Follow us:
●RSS
●Facebook
●LinkedIn
●Twitter
●
Youtube
●
Mastodon
●Bluesky
Please create an account to participate in the Slashdot moderation system
Forgot your password?
Close
wnewsdaystalestupid
sightfulinterestingmaybe
cflamebaittrollredundantoverrated
vefunnyunderrated
podupeerror
×
14858624
comment
byRod Chapman
05, 2010 @08:58AM
(#33149412)
Attached to: NSA and the National Cryptologic Museum
It's a great museum. They have lots of historically significant crypto devices, including 5 or 6 enigmas machines
of various types. They also have several "used" supercomputers, including a Cray Y-MP, and a the wonderful-looking
Connection Machine CM5.
2568509
comment
byRod Chapman
8, 2007 @07:41AM
(#17506882)
Attached to: How Do You Know Your Code is Secure?
For high-integrity stuff, we use SPARK (http://www.sparkada.com/)
- a design-by-contract subset of Ada95 that is entirely designed-from-scratch
for verification purposes.
The verification system implements Hoare-logic and is supported by a
theorem prover. Buffer Overflow is only one of many basic correctness
properties that can be verified. Properties that can be verified
are only limited to what can be expressed as an assertion in first-order
logic.
SPARK is a small language (compared to C++ or Java...) but the
depth and soundness of verification is unmatched by anything like
FindBugs, SPLINT, ESC/Java or any of the other tools for the "popular"
languages.
(If you don't know or care what soundness is in the context of static
analysis, then you've probably missed the point of this post... :-) )
- Rod Chapman, Praxis
« Newer
Older »
Slashdot Top Deals
●(email not shown publicly)
●
Years Read
●
Days Read in a Row
●
Had a Comment Modded Up
●
Great museum...
●
SPARK
(Score:5, Insightful)
●
Re:Bugs and Beta testing.
●
Re:VLISP sounds much more interesting
Slashdot
●
Submit Story
It is much harder to find a job than to keep one.
●FAQ
●Story Archive
●Hall of Fame
●Advertising
●Terms
●Privacy Statement
●About
●Feedback
●Mobile View
●Blog
Do Not Sell or Share My Personal Information
Copyright © 2026 Slashdot Media. All Rights Reserved.
×
Close
Working...
Do Not Sell or Share My Personal Information
Copyright © 2026 Slashdot Media. All Rights Reserved.
×
Close
Working...