1 citations · 3 across the 4 of their papers we have counts for
3 papers · 1 filter
Verification of Configurable SRA Systems
Alessandro Cimatti, Alberto Griggio, Christian Lidström +2
Many digital systems are designed as collections of asynchronous processes orchestrated by a domain-specific scheduler. The verification of such scheduler-restricted asynchronous s…
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…
An Abstract Contract Theory for Programs with Procedures
Christian Lidström, Dilian Gurov
When developing complex software and systems, contracts provide a means for controlling the complexity by dividing the responsibilities among the components of the system in a hier…