We give an overview on our approach to symbolic simulation in the PVS theorem prover and demonstrate its usage in the realm of validation by executing speciication on incomplete data. In this way, one can test executable models for a possibly innnite class of test vectors with one run only. One of the main beneets of symbolic simulation in a theorem proving environment is enhanced productivity ...

We give an overview on our approach to symbolic simulation in the PVS theorem prover and demonstrate its usage in the realm of validation by executing speciication on incomplete data. In this way, one can test executable models for a possibly innnite class of test vectors with one run only. One of the main beneets of symbolic simulation in a theorem proving environment is enhanced productivity ...

The objective of the research is to optimize the empennage of a light weight aircraft such as Zenith aircraft. The case is specified by a unique set of geometry, materials, and strength-to-weight factors. The anticipated loads associated with the empennage structure are based on previous light aircraft design loads. These loads are applied on the model to analyze the structural behavior conside...

package design is an important factor in product manufacturing that must be performed based on customer requirements. this paper introduces cardboard approach using raw materials according to standards and also effective requirements so, using materials based on specific standards will play important role. the materials and its production process used for packaging manufacturers to supply produ...