Constrained Proofs : A Logic for Dealing with Behavioural Constraints in Formal Hardware Verification

Mendler, MichaelMichaelMendler2019-09-192018-08-132018https://fis.uni-bamberg.de/handle/uniba/44287-eng-Constrained Proofs : A Logic for Dealing with Behavioural Constraints in Formal Hardware Verificationconferenceobjecturn:nbn:de:bvb:473-opus4-526664