This paper is divided into three parts. In the first part, we review the historical background of a system of logic devised by Henry S. Leonard to allow for reasoning using existence as a predicate.

Abstract: This paper presents a formal method based on standard concepts from mathematical logic, for the analysis of system properties, particularly safety. Informally, a safety proposition is a ...

There are three assertions available, applicable to arrays. containAll -- Asserts that all array items are true in respect to a predicate. containOne -- Asserts that at least one array item is true in ...

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

ABSTRACT: A dynamically reconfigurable system can change its configuration during operation, and studies of such systems are being carried out in many fields. In particular, medical technology and ...