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
    TurkDevOps a�?k kaynak yaz?l?m
    geli?tirici topluluklar? DevTurks-Team
    Taraf?ndan desteklenmektedir..
    Download turkdevops
  • 2
    *asammdf* is a fast Python parser and
    editor for ASAM (Associtation for
    Standardisation of Automation and
    Measuring Systems) MDF / MF4
    (Measurement Data Format...
    Download asammdf
  • 3
    LAME (Lame Aint an MP3 Encoder)
    LAME (Lame Aint an MP3 Encoder)
    LAME is an educational tool to be used
    for learning about MP3 encoding. The
    goal of the LAME project is to improve
    the psycho acoustics, quality and speed
    of MP...
    Download LAME (Lame Aint an MP3 Encoder)
  • 4
    A set of Python extension modules that
    wrap the cross-platform GUI classes from
    wxWidgets.. Audience: Developers. User
    interface: X Window System (X11), Win32 ...
    Download wxPython
  • 5
    This is the Total War pack file manager
    project, starting from version 1.7. A
    short introduction into Warscape
    modding: ...
    Download packfilemanager
  • 6
    A network traffic tool for measuring
    TCP and UDP performance with metrics
    around both throughput and latency. The
    goals include maintaining an active
    iperf cod...
    Download IPerf2
  • More »

Linux commands