WoLFram

WoLFram -- a word level framework for formal verification and its application. A framework that automatically transforms PLC software to SystemC is presented. The integrated flow of synthesis, verification and debugging of WoLFram is successfully applied to the verification of PLC programs. Equivalence checking and property checking are applied to prove the correctness of the software. It is shown, that modern SAT solvers can formally verify PLC programs within a short run time. The accuracy of debugging is high. Often over 99% of the fault candidates are pruned. Only a small set of fault candidates is left for an engineer to manually debug the faulty behavior. Again, the computational overhead is moderate. For more complex software run time limitations may occur. Replacing the Boolean SAT engine with an SMT solver is an option to cope with the complexity


References in zbMATH (referenced in 13 articles , 1 standard article )

Showing results 1 to 13 of 13.
Sorted by year (citations)

  1. Chua, Leon O.: A nonlinear dynamics perspective of Wolfram’s new kind of science. Vol. 4 (2011)
  2. Macauley, Matthew; McCammond, Jon; Mortveit, Henning S.: Dynamics groups of asynchronous cellular automata (2011)
  3. Sutner, Klaus: Computational processes, observers and Turing incompleteness (2011)
  4. Chua, Leon O.; Pazienza, Giovanni E.: A nonlinear dynamic perspective of Wolfram’s new kind of science. XIII: Bernoulli $\sigma_\tau$-shift rules (2010)
  5. Chua, Leon O.; Pazienza, Giovanni E.: A nonlinear dynamics perspective of Wolfram’s new kind of science. XIV: More Bernoulli $\sigma _\tau $-shift rules (2010)
  6. Fortuna, Luigi; Frasca, Mattia; Fiore, Angelo Sarra; Chua, Leon O.: The Wolfram machine (2010)
  7. Jin, Weifeng; Chen, Fangyue; Chen, Guanrong; Chen, Lin; Chen, Fangfang: Extending the symbolic dynamics of Chua’s Bernoulli-shift rule 56 (2010)
  8. Jin, Weifeng; Chen, Fangyue; Chen, Guanrong; Chen, Lin; Chen, Fangfang: Complex symbolic dynamics of Chua’s period-2 rule 37 (2010)
  9. Kilian, Axel: Programming with Wolfram Mathematica (2010)
  10. Mingarelli, Angelo B.: A classification scheme for fuzzy cellular automata with applications to ECA (2010)
  11. Schindler, Ralf (ed.): Ways of proof theory. Collected papers by speakers of the colloquium and workshop held on the occasion of the retirement of Wolfram Pohlers, July 17--19, 2008, Münster, Germany (2010)
  12. Sülflow, André: WoLFram -- a word level framework for formal verification and its application. (2010)
  13. Wang, Huimin; Yan, Guangwu: Langton parameter phase figure of Wolfram class I total rule cellular automata (2010)