Automatic generation of invariants and intermediate assertions

Author： Bjorner N.   Browne A.   Manna Z.  

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.173, Iss.1, 1997-02, pp. : 49-87

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Automatic maintenance of association invariants

By Welch James  

Software and Systems Modeling (SoSyM), Vol. 7, Iss. 3, 2008-07 ,pp. : 287-301

Springer Publishing Company

Access to resources Recommend Favorite

Automatic generation of mobile widgets

By Raibulet Claudia   Cammareri Daniele  

International Journal of Pervasive Computing and Communications, Vol. 7, Iss. 2, 2011-06 ,pp. : 132-146

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Automatic capitalisation generation for speech input

By Kim J.-H.   Woodland P.C.  

Computer Speech & Language, Vol. 18, Iss. 1, 2004-01 ,pp. : 67-90

Elsevier

Access to resources Recommend Favorite

Automatic generation of ladder diagram with control Petri Net

By Lee Gi Bum   Zandong Han   Lee Jin S.  

Journal of Intelligent Manufacturing, Vol. 15, Iss. 2, 2004-04 ,pp. : 245-252

Springer Publishing Company

Access to resources Recommend Favorite

Online Walking Motion Generation with Automatic Footstep Placement

By Herdt Andrei   Diedam Holger   Wieber Pierre-Brice   Dimitrov Dimitar   Mombaur Katja   Diehl Moritz  

Advanced Robotics, Vol. 24, Iss. 5-6, 2010-04 ,pp. : 719-737

Taylor & Francis Ltd

Access to resources Recommend Favorite