| 1. |
Barreto, R., Cordeiro, L. and Fischer, B.
(2011)
Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker.
Technical Report ,
Dependable Systems and Software Engineering, University of Southampton.
(Submitted)
|
 |
| 2. |
Anderson, G.
(2011)
Behavioural Properties and Dynamic Software Update for Concurrent Programs, Thesis Progress Report.
Technical Report ,
ECS, University of Southampton.
(Unpublished)
|
|
| 3. |
Yeganefard, S. and Butler, M.
(2011)
Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation.
Technical Report ,
Electronics and Computer Science, University of Southampton.
(Unpublished)
|
|
| 4. |
Cordeiro, L. and Fischer, B.
(2010)
Bounded Model Checking of Multi-threaded Software using SMT solvers.
Technical Report ,
Dependable Systems and Software Engineering, University of Southampton.
(
Downloaded 179 times in 2010.
)
|
|
| 5. |
Anderson, G.
(2010)
Type and Effect Systems for Dynamically Changing Code - DRAFT CORRECTIONS, DO NOT DISTRIBUTE.
Technical Report ,
ECS, Soton.
(Submitted)
(
Downloaded 23 times in 2010.
)
|
|
| 6. |
Maamria, I., Butler, M., Edmunds, A. and Rezazadeh, A.
(2009)
On an Extensible Rule-based Prover for Event-B.
Technical Report ,
Electronics & Computer Science, University of Southampton.
(
Downloaded 64 times in 2010.
)
|
|
| 7. |
Savicks, V., Snook, C. and Butler, M.
(2009)
Animation of UML-B State-machines.
Technical Report ,
ECS, University of Southampton.
(Submitted)
(
Downloaded 117 times in 2010.
)
|
|
| 8. |
Cordeiro, L., Fischer, B. and Marques-Silva, J.
(2009)
Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking.
Technical Report ,
School of Electronics and Computer Science, University of Southampton.
(
Downloaded 90 times in 2010.
)
|
|
| 9. |
Silva, R. and Butler, M.
(2009)
Supporting Reuse Mechanisms for Developments in Event-B: Composition.
Technical Report ,
ECS, University of Southampton.
(Unpublished)
(
Downloaded 60 times in 2010.
)
|
|
| 10. |
Glaser, H., Millard, I., Anderson, T., Andrews, Z., Fitzgerald, J. and Randell, B.
(2009)
A Knowledge Base for Dependability and Security Research.
Technical Report ,
Electronics & Computer Science, University of Southampton.
(
Downloaded 5 times in 2010.
)
Item availablity restricted.
|
|
|
Latest Technical Reports