Cardinalities and universal quantifiers for verifying parameterized systems

Klaus von Gleissenthal, Nikolaj Bjørner, Andrey Rybalchenko

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

Fingerprint

Dive into the research topics of 'Cardinalities and universal quantifiers for verifying parameterized systems'. Together they form a unique fingerprint.

Engineering & Materials Science