Specification and transformation of programs: a formal approach to software development
Specification and transformation of programs: a formal approach to software development
Automated proofs of object code for a widely used microprocessor
Journal of the ACM (JACM)
Piton: a mechanically verified assembly-level language
Piton: a mechanically verified assembly-level language
Mechanized formal reasoning about programs and computing machines
Automated reasoning and its applications
A Mechanically Checked Proof of the AMD5K86TM Floating-Point Division Program
IEEE Transactions on Computers
A reply to the criticisms of the Knight & Leveson experiment
ACM SIGSOFT Software Engineering Notes
Java Virtual Machine Specification
Java Virtual Machine Specification
Computer-Aided Reasoning: An Approach
Computer-Aided Reasoning: An Approach
The Java Language Specification
The Java Language Specification
Proving Theorems About Java-Like Byte Code
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Term rewriting with traversal functions
Term rewriting with traversal functions
The N-Version Approach to Fault-Tolerant Software
IEEE Transactions on Software Engineering
A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors
IEEE Transactions on Software Engineering
A transformational perspective into the core of an abstract class loader for the SSP
ACM Transactions on Embedded Computing Systems (TECS)
Model-driven Transformation-based Generation of Java Stress Tests
Electronic Notes in Theoretical Computer Science (ENTCS)
Generative programming techniques for Java library migration
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
A higher-order strategy for eliminating common subexpressions
Computer Languages, Systems and Structures
Program transformation using HATS 1.84
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Hi-index | 0.00 |
The SSP is a high assurance systems engineering effort spanning both hardware and software. Extensive design review, first principle design, n-version programming, program transformation, verification, and consistency checking are the techniques used to provide assurance in the correctness of the resulting system.