Refinement-based verification of implementations of Stateflow charts

ISSN： 0934-5043

Source： Formal Aspects of Computing, Vol.26, Iss.2, 2014-03, pp. : 367-405

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

Related content

A refinement-based approach to developing critical multi-agent systems

By Pereverzeva Inna

International Journal of Critical Computer-Based Systems, Vol. 4, Iss. 1, 2013-05 ,pp. : 69-91

Inderscience Publishers

Access to resources Recommend Favorite

Model-based construction and verification of critical systems using composition and partial refinement

By Jeffords Ralph

Formal Methods in System Design, Vol. 37, Iss. 2-3, 2010-12 ,pp. : 265-294

Springer Publishing Company

Access to resources Recommend Favorite

Bayesian statistical model checking with application to Stateflow/Simulink verification

By Zuliani Paolo Platzer André Clarke Edmund

Formal Methods in System Design, Vol. 43, Iss. 2, 2013-10 ,pp. : 338-367

Springer Publishing Company

Access to resources Recommend Favorite

Refinement verification of the lazy caching algorithm

By Hesselink Wim

Acta Informatica, Vol. 43, Iss. 3, 2006-10 ,pp. : 195-222

Springer Publishing Company

Access to resources Recommend Favorite

Enabling scalable parallel implementations of structured adaptive mesh refinement applications

By Chandra Sumir Li Xiaolin Saif Taher Parashar Manish

The Journal of Supercomputing, Vol. 39, Iss. 2, 2007-02 ,pp. : 177-203

Springer Publishing Company

Access to resources Recommend Favorite