10 citations · 15 across the 4 of their papers we have counts for
4 papers
AutoDeduct: A Tool for Automated Deductive Verification of C Code
Jesper Amilon, Dilian Gurov, Christian Lidström +3
Deductive verification has become a mature paradigm for the verification of industrial software. Applying deductive verification, however, requires that every function in the code…
Regular languages, derivatives and finite automata
Ola Wingbrant
This report is mostly written for educational purposes. It is meant as a self contained introduction to regular languages, regular expressions, and regular expression matching by u…
Highly structured tensor identities for (2,2)-forms in four dimensions
Ola Wingbrant
In an n dimensional vector space, any tensor which is antisymmetric in k>n arguments must vanish; this is a trivial consequence of the limited number of dimensions. However, when o…
Old and new results for superenergy tensors from dimensionally dependent tensor identities
S. Brian Edgar, Ola Wingbrant
It is known that some results for spinors, and in particular for superenergy spinors, are much less transparent and require a lot more effort to establish, when considered from the…