OnWorks favicon

checker - Online in the Cloud

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

This is the command checker 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



checker - SPARK Proof Checker


checker [OPTIONS] [FILE]


The SPARK Proof Checker can be used to discharge verification conditions produced by the
Examiner (*.vcg), possibly simplified by the Simplifier (*.siv). This command is usually
used when verification conditions cannot be discharged automatically by the Simplifier.

By default checker runs in interactive mode. It accepts commands from user and writes
them into a cmd file (or other file specified by -command_log option). This file can be
used later to run checker in batch mode (using option -execute). Additionally, proof log
is written into a plg file.


A summary of options is included below. All options may be abbreviated to the shortest
unique prefix.

-help Show summary of options.

Display version information.

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

Confirmation needed to overwrite command or proof log files.

Specify file name for the command log file.

Specify file name for the proof log file.

Execute a previously generated command log file.

Resume a previously saved session.

Use checker online using onworks.net services

Free Servers & Workstations

Download Windows & Linux apps

  • 1
    A fast tunnel proxy that helps you
    bypass firewalls This is an application
    that can also be fetched from
    It ha...
    Download Shadowsocks
  • 2
    GLPI Themes
    GLPI Themes
    Download release at
    Color themes for GLPI 0.84 and 0.85 New
    Modifications for GLPI This is an
    application that c...
    Download GLPI Themes
  • 3
    SMPlayer is a free media player for
    Windows and Linux with built-in codecs
    that can also play YouTube videos. One
    of the most interesting features of
    Download SMPlayer
  • 4
    AAX to MP3
    AAX to MP3
    Usage: - Install the Audible Manager
    and open a file of your account. - Sign
    in into your audible account (in the
    application). Now the program can
    convert you...
    Download AAX to MP3
  • 5
    TestLink is a web based Test Management
    tool. The application provides Test
    specification, Test plans and execution,
    Reporting, Requirements specification
    and ...
    Download TestLink
  • 6
    XDXF - XML Dictionary Exchange Format
    XDXF - XML Dictionary Exchange Format
    XDXF is a project to unite all existing
    open dictionaries and provide both users
    and developers with universal XML-based
    format, convertible from and to other ...
    Download XDXF - XML Dictionary Exchange Format
  • 7
    Transmission Remote GUI
    Transmission Remote GUI
    Transmission Remote GUI is a feature
    rich cross platform front-end to
    remotely control a Transmission
    Bit-Torrent client daemon via its RPC
    protocol. Transmissi...
    Download Transmission Remote GUI
  • More »

Linux commands