No BSD License  

Highlights from
PolySpace Stats

from PolySpace Stats by Christian Bard
Give a synthesis of a PolySpace verification based on the log file

All files for PolySpace Stats
/polyspace-stats/Docs/PolySpaceStats-quick-reference.pdf
/polyspace-stats/bin/HelpPolySpaceStats.bat
/polyspace-stats/bin/PolySpaceStats.bat
/polyspace-stats/bin/PolySpaceStats.exe
/polyspace-stats/bin/polyspace-stats
/polyspace-stats/lib/Carp.pm
/polyspace-stats/lib/Exporter.pm
/polyspace-stats/lib/Tools.pm
/polyspace-stats/lib/native-win32/perl58.dll
/polyspace-stats/lib/native-win32/pwd.native-win32.exe
/polyspace-stats/lib/native-win32/rte-perl.native-win32.exe
/polyspace-stats/lib/polyspace-stats.pl
/polyspace-stats/lib/rte-perl
/polyspace-stats/lib/sparc-solaris/rte-perl.sparc-solaris
/polyspace-stats/lib/strict.pm
/polyspace-stats/lib/unicore/Canonical.pl
/polyspace-stats/lib/unicore/Exact.pl
/polyspace-stats/lib/unicore/To/Digit.pl
/polyspace-stats/lib/unicore/To/Fold.pl
/polyspace-stats/lib/unicore/To/Lower.pl
/polyspace-stats/lib/unicore/To/Title.pl
/polyspace-stats/lib/unicore/To/Upper.pl
/polyspace-stats/lib/unicore/lib/ASCII.pl
/polyspace-stats/lib/unicore/lib/Alnum.pl
/polyspace-stats/lib/unicore/lib/Alpha.pl
/polyspace-stats/lib/unicore/lib/Alphabet.pl
/polyspace-stats/lib/unicore/lib/Any.pl
/polyspace-stats/lib/unicore/lib/Arabic.pl
/polyspace-stats/lib/unicore/lib/Armenian.pl
/polyspace-stats/lib/unicore/lib/AsciiHex.pl
/polyspace-stats/lib/unicore/lib/Assigned.pl
/polyspace-stats/lib/unicore/lib/Bengali.pl
/polyspace-stats/lib/unicore/lib/BidiAL.pl
/polyspace-stats/lib/unicore/lib/BidiAN.pl
/polyspace-stats/lib/unicore/lib/BidiB.pl
/polyspace-stats/lib/unicore/lib/BidiBN.pl
/polyspace-stats/lib/unicore/lib/BidiCS.pl
/polyspace-stats/lib/unicore/lib/BidiCont.pl
/polyspace-stats/lib/unicore/lib/BidiEN.pl
/polyspace-stats/lib/unicore/lib/BidiES.pl
/polyspace-stats/lib/unicore/lib/BidiET.pl
/polyspace-stats/lib/unicore/lib/BidiL.pl
/polyspace-stats/lib/unicore/lib/BidiLRE.pl
/polyspace-stats/lib/unicore/lib/BidiLRO.pl
/polyspace-stats/lib/unicore/lib/BidiNSM.pl
/polyspace-stats/lib/unicore/lib/BidiON.pl
/polyspace-stats/lib/unicore/lib/BidiPDF.pl
/polyspace-stats/lib/unicore/lib/BidiR.pl
/polyspace-stats/lib/unicore/lib/BidiRLE.pl
/polyspace-stats/lib/unicore/lib/BidiRLO.pl
/polyspace-stats/lib/unicore/lib/BidiS.pl
/polyspace-stats/lib/unicore/lib/BidiWS.pl
/polyspace-stats/lib/unicore/lib/Blank.pl
/polyspace-stats/lib/unicore/lib/Bopomofo.pl
/polyspace-stats/lib/unicore/lib/Braille.pl
/polyspace-stats/lib/unicore/lib/Buhid.pl
/polyspace-stats/lib/unicore/lib/C.pl
/polyspace-stats/lib/unicore/lib/Canadian.pl
/polyspace-stats/lib/unicore/lib/Canon.pl
/polyspace-stats/lib/unicore/lib/Cc.pl
/polyspace-stats/lib/unicore/lib/Cf.pl
/polyspace-stats/lib/unicore/lib/Cherokee.pl
/polyspace-stats/lib/unicore/lib/Cn.pl
/polyspace-stats/lib/unicore/lib/Cntrl.pl
/polyspace-stats/lib/unicore/lib/Co.pl
/polyspace-stats/lib/unicore/lib/Common.pl
/polyspace-stats/lib/unicore/lib/Compat.pl
/polyspace-stats/lib/unicore/lib/Cs.pl
/polyspace-stats/lib/unicore/lib/Cypriot.pl
/polyspace-stats/lib/unicore/lib/Cyrillic.pl
/polyspace-stats/lib/unicore/lib/DCcircle.pl
/polyspace-stats/lib/unicore/lib/DCcompat.pl
/polyspace-stats/lib/unicore/lib/DCfinal.pl
/polyspace-stats/lib/unicore/lib/DCfont.pl
/polyspace-stats/lib/unicore/lib/DCfracti.pl
/polyspace-stats/lib/unicore/lib/DCinitia.pl
/polyspace-stats/lib/unicore/lib/DCisolat.pl
/polyspace-stats/lib/unicore/lib/DCmedial.pl
/polyspace-stats/lib/unicore/lib/DCnarrow.pl
/polyspace-stats/lib/unicore/lib/DCnoBrea.pl
/polyspace-stats/lib/unicore/lib/DCsmall.pl
/polyspace-stats/lib/unicore/lib/DCsquare.pl
/polyspace-stats/lib/unicore/lib/DCsub.pl
/polyspace-stats/lib/unicore/lib/DCsuper.pl
/polyspace-stats/lib/unicore/lib/DCvertic.pl
/polyspace-stats/lib/unicore/lib/DCwide.pl
/polyspace-stats/lib/unicore/lib/Dash.pl
/polyspace-stats/lib/unicore/lib/Deprecat.pl
/polyspace-stats/lib/unicore/lib/Deseret.pl
/polyspace-stats/lib/unicore/lib/Devanaga.pl
/polyspace-stats/lib/unicore/lib/Diacriti.pl
/polyspace-stats/lib/unicore/lib/Digit.pl
/polyspace-stats/lib/unicore/lib/Ethiopic.pl
/polyspace-stats/lib/unicore/lib/Extender.pl
/polyspace-stats/lib/unicore/lib/Georgian.pl
/polyspace-stats/lib/unicore/lib/Gothic.pl
/polyspace-stats/lib/unicore/lib/Graph.pl
/polyspace-stats/lib/unicore/lib/Grapheme.pl
/polyspace-stats/lib/unicore/lib/Greek.pl
/polyspace-stats/lib/unicore/lib/Gujarati.pl
/polyspace-stats/lib/unicore/lib/Gurmukhi.pl
/polyspace-stats/lib/unicore/lib/Han.pl
/polyspace-stats/lib/unicore/lib/Hangul.pl
/polyspace-stats/lib/unicore/lib/Hanunoo.pl
/polyspace-stats/lib/unicore/lib/Hebrew.pl
/polyspace-stats/lib/unicore/lib/HexDigit.pl
/polyspace-stats/lib/unicore/lib/Hiragana.pl
/polyspace-stats/lib/unicore/lib/Hyphen.pl
/polyspace-stats/lib/unicore/lib/IdContin.pl
/polyspace-stats/lib/unicore/lib/IdStart.pl
/polyspace-stats/lib/unicore/lib/Ideograp.pl
/polyspace-stats/lib/unicore/lib/IdsBinar.pl
/polyspace-stats/lib/unicore/lib/IdsTrina.pl
/polyspace-stats/lib/unicore/lib/InAegean.pl
/polyspace-stats/lib/unicore/lib/InAlphab.pl
/polyspace-stats/lib/unicore/lib/InArabi2.pl
/polyspace-stats/lib/unicore/lib/InArabi3.pl
/polyspace-stats/lib/unicore/lib/InArabic.pl
/polyspace-stats/lib/unicore/lib/InArmeni.pl
/polyspace-stats/lib/unicore/lib/InArrows.pl
/polyspace-stats/lib/unicore/lib/InBasicL.pl
/polyspace-stats/lib/unicore/lib/InBengal.pl
/polyspace-stats/lib/unicore/lib/InBlockE.pl
/polyspace-stats/lib/unicore/lib/InBopom2.pl
/polyspace-stats/lib/unicore/lib/InBopomo.pl
/polyspace-stats/lib/unicore/lib/InBoxDra.pl
/polyspace-stats/lib/unicore/lib/InBraill.pl
/polyspace-stats/lib/unicore/lib/InBuhid.pl
/polyspace-stats/lib/unicore/lib/InByzant.pl
/polyspace-stats/lib/unicore/lib/InCherok.pl
/polyspace-stats/lib/unicore/lib/InCjkCo2.pl
/polyspace-stats/lib/unicore/lib/InCjkCo3.pl
/polyspace-stats/lib/unicore/lib/InCjkCo4.pl
/polyspace-stats/lib/unicore/lib/InCjkCom.pl
/polyspace-stats/lib/unicore/lib/InCjkRad.pl
/polyspace-stats/lib/unicore/lib/InCjkSym.pl
/polyspace-stats/lib/unicore/lib/InCjkUn2.pl
/polyspace-stats/lib/unicore/lib/InCjkUn3.pl
/polyspace-stats/lib/unicore/lib/InCjkUni.pl
/polyspace-stats/lib/unicore/lib/InCombi2.pl
/polyspace-stats/lib/unicore/lib/InCombi3.pl
/polyspace-stats/lib/unicore/lib/InCombin.pl
/polyspace-stats/lib/unicore/lib/InContro.pl
/polyspace-stats/lib/unicore/lib/InCurren.pl
/polyspace-stats/lib/unicore/lib/InCyprio.pl
/polyspace-stats/lib/unicore/lib/InCyril2.pl
/polyspace-stats/lib/unicore/lib/InCyrill.pl
/polyspace-stats/lib/unicore/lib/InDesere.pl
/polyspace-stats/lib/unicore/lib/InDevana.pl
/polyspace-stats/lib/unicore/lib/InDingba.pl
/polyspace-stats/lib/unicore/lib/InEnclo2.pl
/polyspace-stats/lib/unicore/lib/InEnclos.pl
/polyspace-stats/lib/unicore/lib/InEthiop.pl
/polyspace-stats/lib/unicore/lib/InGenera.pl
/polyspace-stats/lib/unicore/lib/InGeomet.pl
/polyspace-stats/lib/unicore/lib/InGeorgi.pl
/polyspace-stats/lib/unicore/lib/InGothic.pl
/polyspace-stats/lib/unicore/lib/InGreek.pl
/polyspace-stats/lib/unicore/lib/InGreekA.pl
/polyspace-stats/lib/unicore/lib/InGreekE.pl
/polyspace-stats/lib/unicore/lib/InGujara.pl
/polyspace-stats/lib/unicore/lib/InGurmuk.pl
/polyspace-stats/lib/unicore/lib/InHalfwi.pl
/polyspace-stats/lib/unicore/lib/InHangu2.pl
/polyspace-stats/lib/unicore/lib/InHangu3.pl
/polyspace-stats/lib/unicore/lib/InHangul.pl
/polyspace-stats/lib/unicore/lib/InHanuno.pl
/polyspace-stats/lib/unicore/lib/InHebrew.pl
/polyspace-stats/lib/unicore/lib/InHighPr.pl
/polyspace-stats/lib/unicore/lib/InHighSu.pl
/polyspace-stats/lib/unicore/lib/InHiraga.pl
/polyspace-stats/lib/unicore/lib/InIdeogr.pl
/polyspace-stats/lib/unicore/lib/InIpaExt.pl
/polyspace-stats/lib/unicore/lib/InKanbun.pl
/polyspace-stats/lib/unicore/lib/InKangxi.pl
/polyspace-stats/lib/unicore/lib/InKannad.pl
/polyspace-stats/lib/unicore/lib/InKatak2.pl
/polyspace-stats/lib/unicore/lib/InKataka.pl
/polyspace-stats/lib/unicore/lib/InKhmer.pl
/polyspace-stats/lib/unicore/lib/InKhmerS.pl
/polyspace-stats/lib/unicore/lib/InLao.pl
/polyspace-stats/lib/unicore/lib/InLatin1.pl
/polyspace-stats/lib/unicore/lib/InLatin2.pl
/polyspace-stats/lib/unicore/lib/InLatin3.pl
/polyspace-stats/lib/unicore/lib/InLatinE.pl
/polyspace-stats/lib/unicore/lib/InLetter.pl
/polyspace-stats/lib/unicore/lib/InLimbu.pl
/polyspace-stats/lib/unicore/lib/InLinea2.pl
/polyspace-stats/lib/unicore/lib/InLinear.pl
/polyspace-stats/lib/unicore/lib/InLowSur.pl
/polyspace-stats/lib/unicore/lib/InMalaya.pl
/polyspace-stats/lib/unicore/lib/InMathe2.pl
/polyspace-stats/lib/unicore/lib/InMathem.pl
/polyspace-stats/lib/unicore/lib/InMisce2.pl
/polyspace-stats/lib/unicore/lib/InMisce3.pl
/polyspace-stats/lib/unicore/lib/InMisce4.pl
/polyspace-stats/lib/unicore/lib/InMisce5.pl
/polyspace-stats/lib/unicore/lib/InMiscel.pl
/polyspace-stats/lib/unicore/lib/InMongol.pl
/polyspace-stats/lib/unicore/lib/InMusica.pl
/polyspace-stats/lib/unicore/lib/InMyanma.pl
/polyspace-stats/lib/unicore/lib/InNumber.pl
/polyspace-stats/lib/unicore/lib/InOgham.pl
/polyspace-stats/lib/unicore/lib/InOldIta.pl
/polyspace-stats/lib/unicore/lib/InOptica.pl
/polyspace-stats/lib/unicore/lib/InOriya.pl
/polyspace-stats/lib/unicore/lib/InOsmany.pl
/polyspace-stats/lib/unicore/lib/InPhonet.pl
/polyspace-stats/lib/unicore/lib/InPrivat.pl
/polyspace-stats/lib/unicore/lib/InRunic.pl
/polyspace-stats/lib/unicore/lib/InShavia.pl
/polyspace-stats/lib/unicore/lib/InSinhal.pl
/polyspace-stats/lib/unicore/lib/InSmallF.pl
/polyspace-stats/lib/unicore/lib/InSpacin.pl
/polyspace-stats/lib/unicore/lib/InSpecia.pl
/polyspace-stats/lib/unicore/lib/InSupers.pl
/polyspace-stats/lib/unicore/lib/InSuppl2.pl
/polyspace-stats/lib/unicore/lib/InSuppl3.pl
/polyspace-stats/lib/unicore/lib/InSuppl4.pl
/polyspace-stats/lib/unicore/lib/InSuppl5.pl
/polyspace-stats/lib/unicore/lib/InSupple.pl
/polyspace-stats/lib/unicore/lib/InSyriac.pl
/polyspace-stats/lib/unicore/lib/InTagalo.pl
/polyspace-stats/lib/unicore/lib/InTagban.pl
/polyspace-stats/lib/unicore/lib/InTags.pl
/polyspace-stats/lib/unicore/lib/InTaiLe.pl
/polyspace-stats/lib/unicore/lib/InTaiXua.pl
/polyspace-stats/lib/unicore/lib/InTamil.pl
/polyspace-stats/lib/unicore/lib/InTelugu.pl
/polyspace-stats/lib/unicore/lib/InThaana.pl
/polyspace-stats/lib/unicore/lib/InThai.pl
/polyspace-stats/lib/unicore/lib/InTibeta.pl
/polyspace-stats/lib/unicore/lib/InUgarit.pl
/polyspace-stats/lib/unicore/lib/InUnifie.pl
/polyspace-stats/lib/unicore/lib/InVaria2.pl
/polyspace-stats/lib/unicore/lib/InVariat.pl
/polyspace-stats/lib/unicore/lib/InYiRadi.pl
/polyspace-stats/lib/unicore/lib/InYiSyll.pl
/polyspace-stats/lib/unicore/lib/InYijing.pl
/polyspace-stats/lib/unicore/lib/Inherite.pl
/polyspace-stats/lib/unicore/lib/JoinCont.pl
/polyspace-stats/lib/unicore/lib/Kannada.pl
/polyspace-stats/lib/unicore/lib/Katakana.pl
/polyspace-stats/lib/unicore/lib/Khmer.pl
/polyspace-stats/lib/unicore/lib/L.pl
/polyspace-stats/lib/unicore/lib/L_.pl
/polyspace-stats/lib/unicore/lib/Lao.pl
/polyspace-stats/lib/unicore/lib/Latin.pl
/polyspace-stats/lib/unicore/lib/Limbu.pl
/polyspace-stats/lib/unicore/lib/LinearB.pl
/polyspace-stats/lib/unicore/lib/Ll.pl
/polyspace-stats/lib/unicore/lib/Lm.pl
/polyspace-stats/lib/unicore/lib/Lo.pl
/polyspace-stats/lib/unicore/lib/LogicalO.pl
/polyspace-stats/lib/unicore/lib/Lower.pl
/polyspace-stats/lib/unicore/lib/Lowercas.pl
/polyspace-stats/lib/unicore/lib/Lt.pl
/polyspace-stats/lib/unicore/lib/Lu.pl
/polyspace-stats/lib/unicore/lib/M.pl
/polyspace-stats/lib/unicore/lib/Malayala.pl
/polyspace-stats/lib/unicore/lib/Math.pl
/polyspace-stats/lib/unicore/lib/Mc.pl
/polyspace-stats/lib/unicore/lib/Me.pl
/polyspace-stats/lib/unicore/lib/Mirrored.pl
/polyspace-stats/lib/unicore/lib/Mn.pl
/polyspace-stats/lib/unicore/lib/Mongolia.pl
/polyspace-stats/lib/unicore/lib/Myanmar.pl
/polyspace-stats/lib/unicore/lib/N.pl
/polyspace-stats/lib/unicore/lib/Nd.pl
/polyspace-stats/lib/unicore/lib/Nl.pl
/polyspace-stats/lib/unicore/lib/No.pl
/polyspace-stats/lib/unicore/lib/Nonchara.pl
/polyspace-stats/lib/unicore/lib/Ogham.pl
/polyspace-stats/lib/unicore/lib/OldItali.pl
/polyspace-stats/lib/unicore/lib/Oriya.pl
/polyspace-stats/lib/unicore/lib/Osmanya.pl
/polyspace-stats/lib/unicore/lib/OtherAlp.pl
/polyspace-stats/lib/unicore/lib/OtherDef.pl
/polyspace-stats/lib/unicore/lib/OtherGra.pl
/polyspace-stats/lib/unicore/lib/OtherIdS.pl
/polyspace-stats/lib/unicore/lib/OtherLow.pl
/polyspace-stats/lib/unicore/lib/OtherMat.pl
/polyspace-stats/lib/unicore/lib/OtherUpp.pl
/polyspace-stats/lib/unicore/lib/P.pl
/polyspace-stats/lib/unicore/lib/Pc.pl
/polyspace-stats/lib/unicore/lib/Pd.pl
/polyspace-stats/lib/unicore/lib/Pe.pl
/polyspace-stats/lib/unicore/lib/Pf.pl
/polyspace-stats/lib/unicore/lib/Pi.pl
/polyspace-stats/lib/unicore/lib/Po.pl
/polyspace-stats/lib/unicore/lib/Print.pl
/polyspace-stats/lib/unicore/lib/Ps.pl
/polyspace-stats/lib/unicore/lib/Punct.pl
/polyspace-stats/lib/unicore/lib/Quotatio.pl
/polyspace-stats/lib/unicore/lib/Radical.pl
/polyspace-stats/lib/unicore/lib/Runic.pl
/polyspace-stats/lib/unicore/lib/S.pl
/polyspace-stats/lib/unicore/lib/Sc.pl
/polyspace-stats/lib/unicore/lib/Shavian.pl
/polyspace-stats/lib/unicore/lib/Sinhala.pl
/polyspace-stats/lib/unicore/lib/Sk.pl
/polyspace-stats/lib/unicore/lib/Sm.pl
/polyspace-stats/lib/unicore/lib/So.pl
/polyspace-stats/lib/unicore/lib/SoftDott.pl
/polyspace-stats/lib/unicore/lib/Space.pl
/polyspace-stats/lib/unicore/lib/SpacePer.pl
/polyspace-stats/lib/unicore/lib/Syriac.pl
/polyspace-stats/lib/unicore/lib/Tagalog.pl
/polyspace-stats/lib/unicore/lib/Tagbanwa.pl
/polyspace-stats/lib/unicore/lib/TaiLe.pl
/polyspace-stats/lib/unicore/lib/Tamil.pl
/polyspace-stats/lib/unicore/lib/Telugu.pl
/polyspace-stats/lib/unicore/lib/Terminal.pl
/polyspace-stats/lib/unicore/lib/Thaana.pl
/polyspace-stats/lib/unicore/lib/Thai.pl
/polyspace-stats/lib/unicore/lib/Tibetan.pl
/polyspace-stats/lib/unicore/lib/Title.pl
/polyspace-stats/lib/unicore/lib/Ugaritic.pl
/polyspace-stats/lib/unicore/lib/UnifiedI.pl
/polyspace-stats/lib/unicore/lib/Upper.pl
/polyspace-stats/lib/unicore/lib/Uppercas.pl
/polyspace-stats/lib/unicore/lib/WhiteSpa.pl
/polyspace-stats/lib/unicore/lib/Word.pl
/polyspace-stats/lib/unicore/lib/XDigit.pl
/polyspace-stats/lib/unicore/lib/Yi.pl
/polyspace-stats/lib/unicore/lib/Z.pl
/polyspace-stats/lib/unicore/lib/Zl.pl
/polyspace-stats/lib/unicore/lib/Zp.pl
/polyspace-stats/lib/unicore/lib/Zs.pl
/polyspace-stats/lib/unicore/lib/_CanonDC.pl
/polyspace-stats/lib/unicore/lib/_CaseIgn.pl
/polyspace-stats/lib/unicore/lib/_CombAbo.pl
/polyspace-stats/lib/utf8.pm
/polyspace-stats/lib/utf8_heavy.pl
/polyspace-stats/lib/warnings.pm
/polyspace-stats/lib/x86-linux/rte-perl.x86-linux
/polyspace-stats/lib/x86-win32/libperl5_6_1.dll
/polyspace-stats/lib/x86-win32/rte-perl.x86-win32.exe

Contact us at files@mathworks.com