The steadily growing complexity of computerized systems makes the latter highly susceptible to potentially critical design errors, ranging from simple programming bugs to scenarios and use cases overlooked by the engineers and therefore not properly handled by the system. The increasing use of computers in safety-critical applications like cars, aircrafts, power plants, or medical devices is therefore becoming a major concern. The risk entailed by delegating more and more safety-critical functions to computers is only acceptable if computing science manages to come up with new methods and tools which help to master the complexity of such systems and thus ensure their safety.
KeywordsConjunctive Normal Form Propositional Formula Hybrid Automaton Boolean Combination Bound Model Check
Unable to display preview. Download preview PDF.