C code validation service

derek@knosof.co.uk (Derek M Jones)
15 Jul 1996 11:46:20 -0400

          From comp.compilers
Related articles
C code validation service derek@knosof.co.uk (1996-07-15)
Re: C code validation service egbert@torch.timeplex.com (1996-07-19)
getting symbolic C structure offsets (was: Re: C code validation servi thornbur@theory.physics.ubc.ca (Jonathan Thornburg) (1996-07-27)
Re: getting symbolic C structure offsets (was: Re: C code validation s rfg@monkeys.com (1996-07-31)
| List of all articles for this month |
From: derek@knosof.co.uk (Derek M Jones)
Newsgroups: comp.compilers
Date: 15 Jul 1996 11:46:20 -0400
Organization: Compilers Central
Keywords: C, tools

All,


NPL (National Physical Laboratory) announced on 5th July that they
will be offering a C code validation service.


This service will use the Model Implementation C Checker to do
full static and dynamic checks for strict conformance to the
ISO C standard.


A seminar is being held on 4th September, at NPL, to present
this service. The cost is #80 + VAT (only a privatised
government establishment would think of charging people to come
to an extended sales presentation, with lots of technical bits).


Contact Brian Wichmann on 0181-943-6976, email baw@newton.npl.co.uk


URL: http://www.npl.co.uk/npl/cise/services/ccode


derek


--
Derek M Jones tel: +44 (0) 1252 520 667
Knowledge Software Ltd email: derek@knosof.co.uk
                                                                                                  http://www.knosof.co.uk
--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.