Formal System Verification

Overview of attention for book

Cover of 'Formal System Verification'

Table of Contents

Attention for Chapter 3: Probabilistic Model Checking: Advances and Applications

Altmetric Badge

Citations

dimensions_citation: 10 Dimensions

Readers on

mendeley: 34 Mendeley

Summary Dimensions citations

So far, Dimensions has found 10 publications that cite this research output.

10

The most recent citing publications are shown below. View all 10 publications that cite this research output on Dimensions.

Equivalence Checking of System-Level and SPICE-Level Models of Static Nonlinear Circuits

Conference proceeding (April 2023)

A Class of Polynomially Verifiable Circuits of Logarithmic Depth

Conference proceeding (January 2023)

Polynomial-Time Formal Verification of Adder Circuits for Multiple-Valued Logic

Conference proceeding (May 2022)

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.