Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
ICECCS
2007
IEEE
125views Hardware» more  ICECCS 2007»
11 years 5 months ago
Achieving Discrete Relative Timing with Untimed Process Algebra
For many systems, timing aspects are essential. Therefore, when modelling these systems, time should somehow be represented. In the past, many timed process algebras have been dev...
Anton Wijs
ICECCS
2007
IEEE
86views Hardware» more  ICECCS 2007»
11 years 5 months ago
What Use is Verified Software?
The world at large cares little for verified software; what it cares about are trustworthy and cost-effective systems that do their jobs well. We examine the value of verified sof...
John M. Rushby
ICECCS
2007
IEEE
89views Hardware» more  ICECCS 2007»
11 years 5 months ago
Just-in-Time Certification
Traditional, standards-based approaches to certification are hugely expensive, of questionable credibility when development is outsourced, and a barrier to innovation. This paper ...
John M. Rushby
ICECCS
2007
IEEE
115views Hardware» more  ICECCS 2007»
11 years 5 months ago
On-the-fly model checking for C programs with extended CADP in FMICS-jETI
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
María-del-Mar Gallardo, Pedro Merino, Chris...
ICECCS
2007
IEEE
120views Hardware» more  ICECCS 2007»
11 years 5 months ago
Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
Leo Freitas, Konstantinos Mokos, Jim Woodcock
ICECCS
2007
IEEE
92views Hardware» more  ICECCS 2007»
11 years 5 months ago
A first approach to the closed-form specification and analysis of an autonomic control system
Control systems must increasingly be designed to involve collections of hardware and software components, both of which may evolve over the lifetime of the system, and which are e...
Simon Dobson, Eoin Bailey, Stephen Knox, Ross Shan...
ICECCS
2007
IEEE
111views Hardware» more  ICECCS 2007»
11 years 5 months ago
A Refinement Driven Component-Based Design
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang,...
ICECCS
2007
IEEE
129views Hardware» more  ICECCS 2007»
11 years 5 months ago
Automated Verification of Shape, Size and Bag Properties
In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...
Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, She...
ICECCS
2007
IEEE
73views Hardware» more  ICECCS 2007»
11 years 7 months ago
From PIMs to PSMs
Peter H. Feiler, Dionisio de Niz, Chris Raistrick,...
books