Efficient Automated Trace Analysis - Examples with Morphine

Publisher： Elsevier

ISSN： 1571-0661

Source： Electronic Notes in Theoretical Computer Science, Vol.55, Iss.2, 2004-01, pp. : 1-16

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

Efficient distributed mesh data structure for parallel automated adaptive analysis

By Seegyoung Seol E. Shephard Mark

Engineering with Computers, Vol. 22, Iss. 3-4, 2006-12 ,pp. : 197-213

Springer Publishing Company

Access to resources Recommend Favorite

MDG-SAT: an automated methodology for efficient safety checking

By Hoque Khaza Anuarul

International Journal of Critical Computer-Based Systems, Vol. 3, Iss. 1-2, 2012-01 ,pp. : 4-25

Inderscience Publishers

Access to resources Recommend Favorite

Automated Reasoning for Security Protocol Analysis

By Armando Alessandro Basin David Cuellar Jorge Rusinowitch Michaël Viganò Luca

Journal of Automated Reasoning, Vol. 36, Iss. 1-2, 2006-01 ,pp. : 1-3

Springer Publishing Company

Access to resources Recommend Favorite

Automated formal analysis and verification: an overview

By Křena Bohuslav Vojnar Tomáš

International Journal of General Systems, Vol. 42, Iss. 4, 2013-05 ,pp. : 335-365

Taylor & Francis Ltd

Access to resources Recommend Favorite

Examples of monitoring and program analysis activities with DeWiz

By Kobler Rene Aichinger Bernhard Kranzlmuller Dieter Volkert Jens

International Journal of Computational Science and Engineering, Vol. 4, Iss. 3, 2009-07 ,pp. : 162-170

Inderscience Publishers

Access to resources Recommend Favorite