Refinement verification of the lazy caching algorithm

ISSN： 0001-5903

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

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

The Racing Algorithm: Model Selection for Lazy Learners

By Maron O.

Artificial Intelligence Review, Vol. 11, Iss. 1-5, 1997-02 ,pp. : 193-225

Springer Publishing Company

Access to resources Recommend Favorite

Refinement preserving approximations for the design and verification of heterogeneous systems

By Passerone Roberto Burch Jerry Sangiovanni-Vincentelli Alberto

Formal Methods in System Design, Vol. 31, Iss. 1, 2007-08 ,pp. : 1-33

Springer Publishing Company

Access to resources Recommend Favorite

Automated verification and refinement for physical-layer protocols

By Brown Geoffrey

Formal Aspects of Computing, Vol. 23, Iss. 3, 2011-05 ,pp. : 243-266

Springer Publishing Company

Access to resources Recommend Favorite

Verification, refinement and scheduling of real-time programs

By Liu Z. Joseph M.

Theoretical Computer Science, Vol. 253, Iss. 1, 2001-02 ,pp. : 119-152

Elsevier

Access to resources Recommend Favorite

Refinement-based verification of implementations of Stateflow charts

By Miyazawa Alvaro Cavalcanti Ana

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

Springer Publishing Company

Access to resources Recommend Favorite