P. 1
Blender Art Magazine #19

Blender Art Magazine #19

4.2

|Views: 164|Likes:
Published by mefjak

More info:

Published by: mefjak on May 20, 2009
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

10/18/2011

pdf

text

original

We can construct various temporal properties with lin-
ear temporal logic, but there are two main types of
properties that can be expressed using this logic:

Safety properties (Globally Not): usually state that
something bad never happens.

Liveness properties (Globally Eventually) or Global-
ly( Implies Eventually): state that something good
keeps happening.

See [1,2] for more information about temporal logic.

Implementation

This feature is implemented completely using Python
and is available for Blender using the scripts menu after
installation.

You can get the Python script and it's required module,
pycamc, fromhttp://launchpad.net/camc.

You can find more information about it's licence and
how you can install it from above project page.

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->