Abstract
In order to minimize the cost of rapid prototyping, SEdit offers the possibility to validate a technical system before its actual realization. For this purpose, the system has to be described logically by a set of axioms (system specification). By means of deduction, it can be proven that the system will show the desired behaviour. For the sake of user acceptance and understandability, SEdit is a graphical, interactive tool that may be regarded as a shell for easily invoking logical proofs. The applicability has been demonstrated at the 1995 MEDLAR review meeting [5].
Cite
CITATION STYLE
Große, G., Herrmann, C. S., & Sandner, E. (1996). SEdit-graphically validating technical systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1085, pp. 345–348). Springer Verlag. https://doi.org/10.1007/3-540-61313-7_84
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
