en.unionpedia.org

Romeo Model Checker, the Glossary

Roméo is an integrated tool environment for modeling, validation and verification of real-time systems modeled as time Petri Nets or stopwatch Petri Nets, extended with parameters.^[1]

15 relations: École centrale de Nantes, C++, Computing platform, English language, France, French National Centre for Scientific Research, Graphical user interface, Linux, MacOS, Microsoft Windows, Model checking, Nantes, Real-time computing, Tcl, University of Nantes.
Formal methods stubs
Model checkers

École centrale de Nantes

, or Centrale Nantes, is a grande école – a French engineering school – established in 1919 under the name of Institut Polytechnique de l'Ouest.

See Romeo Model Checker and École centrale de Nantes

C++

C++ (pronounced "C plus plus" and sometimes abbreviated as CPP) is a high-level, general-purpose programming language created by Danish computer scientist Bjarne Stroustrup.

See Romeo Model Checker and C++

Computing platform

A computing platform, digital platform, or software platform is the infrastructure on which software is executed.

See Romeo Model Checker and Computing platform

English language

English is a West Germanic language in the Indo-European language family, whose speakers, called Anglophones, originated in early medieval England on the island of Great Britain.

See Romeo Model Checker and English language

France

France, officially the French Republic, is a country located primarily in Western Europe.

See Romeo Model Checker and France

French National Centre for Scientific Research

The French National Centre for Scientific Research (Centre national de la recherche scientifique, CNRS) is the French state research organisation and is the largest fundamental science agency in Europe.

See Romeo Model Checker and French National Centre for Scientific Research

Graphical user interface

A graphical user interface, or GUI, is a form of user interface that allows users to interact with electronic devices through graphical icons and visual indicators such as secondary notation.

See Romeo Model Checker and Graphical user interface

Linux

Linux is both an open-source Unix-like kernel and a generic name for a family of open-source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991, by Linus Torvalds.

See Romeo Model Checker and Linux

MacOS

macOS, originally Mac OS X, previously shortened as OS X, is an operating system developed and marketed by Apple since 2001.

See Romeo Model Checker and MacOS

Microsoft Windows

Microsoft Windows is a product line of proprietary graphical operating systems developed and marketed by Microsoft.

See Romeo Model Checker and Microsoft Windows

Model checking

In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification (also known as correctness).

See Romeo Model Checker and Model checking

Nantes

Nantes (Gallo: Naunnt or Nantt) is a city in Loire-Atlantique of France on the Loire, from the Atlantic coast.

See Romeo Model Checker and Nantes

Real-time computing

Real-time computing (RTC) is the computer science term for hardware and software systems subject to a "real-time constraint", for example from event to system response.

See Romeo Model Checker and Real-time computing