Abstract :
The paper deals with the following topics: model checking, software verification, satisfiability modulo theory,computer games, quantitative reasoning, guarantee reasoning, equivalence checking, program debugging, formal methods,computer aided design, etc.
Keywords :
CAD; computability; formal specification; inference mechanisms; program debugging; program verification; computer aided design; computer games; equivalence checking; formal methods; guarantee reasoning; model checking; program debugging; quantitative reasoning; satisfiability modulo theory; software verification;
