EnglishFrenchSpanish

Ad


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

PROGRAM:

NAME


checker - SPARK Proof Checker

SYNOPSIS


checker [OPTIONS] [FILE]

DESCRIPTION


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.

OPTIONS


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

-help Show summary of options.

-version
Display version information.

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

-overwrite_warning
Confirmation needed to overwrite command or proof log files.

-command_log=LOG_FILE
Specify file name for the command log file.

-proof_log=PLG_FILE
Specify file name for the proof log file.

-execute=LOG_FILE
Execute a previously generated command log file.

-resume
Resume a previously saved session.

Use checker online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    turkdevops
    turkdevops
    TurkDevOps a�?k kaynak yaz?l?m
    geli?tirici topluluklar? DevTurks-Team
    Taraf?ndan desteklenmektedir..
    Features:https://github.com/turkdevopshttps://turkdevops.g...
    Download turkdevops
  • 2
    asammdf
    asammdf
    *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
    wxPython
    wxPython
    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
    packfilemanager
    packfilemanager
    This is the Total War pack file manager
    project, starting from version 1.7. A
    short introduction into Warscape
    modding: ...
    Download packfilemanager
  • 6
    IPerf2
    IPerf2
    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

Ad