An embeddable virtual machine for state space generation

Saved in:

Bibliographic Details
Published in:	International journal on software tools for technology transfer Vol. 12; no. 2; pp. 97 - 111
Main Author:	Weber, Michael
Format:	Journal Article Conference Proceeding
Language:	English
Published:	Heidelberg Springer 01.05.2010
Subjects:	Applied sciences Computer science; control theory; systems Exact sciences and technology Software Software engineering Modelling language Formal method Operational semantics Virtual machine Reuse PROMELA State space method Modeling Program verification Static analysis Model checking Computational linguistics Added value State space generation
ISSN:	1433-2779, 1433-2787
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
ISSN:	1433-2779 1433-2787
DOI:	10.1007/s10009-010-0141-2