Model checking with bounded context switching

By Holzmann Gerard  

Formal Aspects of Computing, Vol. 23, Iss. 3, 2011-05 ,pp. : 365-389

Springer Publishing Company

Access to resources Recommend Favorite

Bounded model checking of infinite state systems

By Schuele Tobias   Schneider Klaus  

Formal Methods in System Design, Vol. 30, Iss. 1, 2007-02 ,pp. : 51-81

Springer Publishing Company

Access to resources Recommend Favorite

Accelerating Bounded Model Checking of Safety Properties

By Strichman Ofer  

Formal Methods in System Design, Vol. 24, Iss. 1, 2004-01 ,pp. : 5-24

Springer Publishing Company

Access to resources Recommend Favorite

An interval-valued reliability model with bounded failure rates

By Kozine Igor  

International Journal of General Systems, Vol. 41, Iss. 8, 2012-11 ,pp. : 760-773

Taylor & Francis Ltd

Access to resources Recommend Favorite

A vertex cut algorithm for model order reduction of parasitic resistive networks

By Kitanov Petko   Marcotte Odile   Schilders Wil H.A.   Shontz Suzanne M.  

COMPEL: Int J for Computation and Maths. in Electrical and Electronic Eng., Vol. 31, Iss. 6, 2012-11 ,pp. : 1850-1871

Emerald Group Publishing Ltd

Access to resources Recommend Favorite