HySAT: An efficient proof engine for bounded model checking of hybrid systems

By Fränzle Martin   Herde Christian  

Formal Methods in System Design, Vol. 30, Iss. 3, 2007-06 ,pp. : 179-198

Springer Publishing Company

Access to resources Recommend Favorite

Early structural change detection as an optimal stopping problem: solution theorem and its proof using reduction to absurdity

By Kawano Hiromichi  

Artificial Life and Robotics, Vol. 15, Iss. 4, 2010-12 ,pp. : 425-430

Springer Publishing Company

Access to resources Recommend Favorite

A Framework for Proof Systems

By Nigam Vivek   Miller Dale  

Journal of Automated Reasoning, Vol. 45, Iss. 2, 2010-08 ,pp. : 157-188

Springer Publishing Company

Access to resources Recommend Favorite

Fundamental structure of general systems and its relation to knowability of the physical world

By Lin Yi   Fan Taihe  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 26, Iss. 3, 1997-03 ,pp. : 277-287

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Algebraic proof systems over formulas

By Grigoriev D.   Hirsch E.A.  

Theoretical Computer Science, Vol. 303, Iss. 1, 2003-06 ,pp. : 83-102

Elsevier

Access to resources Recommend Favorite