Concrete abstractions: formalizing and analyzing discrete theories and algorithms with the riscal model checker
Auteur :
Schreiner, Wolfgang
Éditeur :
Springer International Publishing AG
ISBN :
9783031249365
Date de publication :
13 avr. 2024
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science;