Verification based software fault detection formatIsbn:Softcover 9783866446762 Erneuerbare Energien stellen eine wesentliche 18 Erneuerbare Energien stellen eine wesentliche Möglichkeit zur Sicherstellung einer nachhaltigen und umweltfreundlichen Energieversorgung dar Networked learning is learning in which information and communications technology (ICT) is used to promote connections: between one learner and other learners an error prone task The described techniques take advantage of information obtained during verification and combine verification technology with deductive fault detection and test generation in a very unified way