EnglishFrenchSpanish

OnWorks favicon

zombiescope - Online in the Cloud

Run zombiescope in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command zombiescope that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

PROGRAM:

NAME


zombiescope - simplifies SPARK dead path conjectures

SYNOPSIS


zombiescope [OPTIONS] [UNIT]

DESCRIPTION


ZombieScope for SPARK, zombiescope, analyses dead path conjectures generated by the
Examiner for SPARK and attempts to determine their liveness automatically. For each dpc
file read, ZombieScope will produce a sdp (simplified dead paths) file and an optional zlg
(zombiescope log) file.

This manual page only summarises the zombiescope command-line flags, please refer to the
full Simplifier manual for further information.

OPTIONS


These options do not quite follow the usual GNU command line syntax as options start with
a single dash instead of the usual two.

-help Displays command line help.

-version
Displays version information.

-nolog Do not generate a ZombieScope log file.

-log=file_spec
Specify filename for the ZombieScope file.

-nowrap
Do not line wrap output files.

-plain Adopt a plain output style (e.g. no dates or version numbers).

-norenum
Do not renumber hypotheses and conclusions in sdp files.

-hyp_limit=LIMIT
Specify the maximum number of hypotheses that will be analysed.

Use zombiescope online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    Phaser
    Phaser
    Phaser is a fast, free, and fun open
    source HTML5 game framework that offers
    WebGL and Canvas rendering across
    desktop and mobile web browsers. Games
    can be co...
    Download Phaser
  • 2
    VASSAL Engine
    VASSAL Engine
    VASSAL is a game engine for creating
    electronic versions of traditional board
    and card games. It provides support for
    game piece rendering and interaction,
    and...
    Download VASSAL Engine
  • 3
    OpenPDF - Fork of iText
    OpenPDF - Fork of iText
    OpenPDF is a Java library for creating
    and editing PDF files with a LGPL and
    MPL open source license. OpenPDF is the
    LGPL/MPL open source successor of iText,
    a...
    Download OpenPDF - Fork of iText
  • 4
    SAGA GIS
    SAGA GIS
    SAGA - System for Automated
    Geoscientific Analyses - is a Geographic
    Information System (GIS) software with
    immense capabilities for geodata
    processing and ana...
    Download SAGA GIS
  • 5
    Toolbox for Java/JTOpen
    Toolbox for Java/JTOpen
    The IBM Toolbox for Java / JTOpen is a
    library of Java classes supporting the
    client/server and internet programming
    models to a system running OS/400,
    i5/OS, o...
    Download Toolbox for Java/JTOpen
  • 6
    D3.js
    D3.js
    D3.js (or D3 for Data-Driven Documents)
    is a JavaScript library that allows you
    to produce dynamic, interactive data
    visualizations in web browsers. With D3
    you...
    Download D3.js
  • More »

Linux commands

Ad