On simulation-based probabilistic model checking of mixed-analog circuits

By Clarke Edmund   Donzé Alexandre   Legay Axel  

Formal Methods in System Design, Vol. 36, Iss. 2, 2010-06 ,pp. : 97-113

Springer Publishing Company

Access to resources Recommend Favorite

Model Checking with Strong Fairness

By Kesten Yonit   Pnueli Amir   Raviv Li-On   Shahar Elad  

Formal Methods in System Design, Vol. 28, Iss. 1, 2006-01 ,pp. : 57-84

Springer Publishing Company

Access to resources Recommend Favorite

Hardness of equivalence checking for composed finite-state systems

By Sawa Zdeněk  

Acta Informatica, Vol. 46, Iss. 3, 2009-05 ,pp. : 169-191

Springer Publishing Company

Access to resources Recommend Favorite

Efficient algorithms for checking the equivalence of multistage interconnection networks

By Calamoneri T.   Massini A.  

Journal of Parallel and Distributed Computing, Vol. 64, Iss. 1, 2004-01 ,pp. : 135-150

Elsevier

Access to resources Recommend Favorite

On the Computation of Boolean Functions by Analog Circuits of Bounded Fan-In

By Turan G.   Vatan F.  

Journal of Computer and System Sciences, Vol. 54, Iss. 1, 1997-02 ,pp. : 199-212

Academic Press

Access to resources Recommend Favorite