FAQs

Propositional logic is the formal logic of the operations AND (conjunction), OR (disjunction), NOT (negation) and IMPLIES (implication).

Proof obligation is a logical formula associated with a correctness claim for a given verification property. The formula is valid [...]

Process calculus is a tool for the description of interactions, communications, and synchronizations between a collection of independent agents or [...]

Predicate logic or first-order logic uses quantified variables and allows the use of statements that contain predicates and variables.

PiSPEC is a specification language that has been designed for interlocking systems specifications. It builds on well-known concepts that are [...]

Optimizing traffic planner, or OTP, is a traffic management system that permits real-time monitoring of the positioning of trains throughout [...]

A program that takes models as input and generates the target models as output and meanwhile keeps the information consistent. [...]

A method for formally verifying finite-state concurrent systems. Specifications about the system are expressed as temporal logic formulas, and efficient [...]

A software development methodology that focuses on creating and exploiting domain models, which are conceptual models of all the topics [...]

Light rail transit, or LRT, refers to a form of urban rail transit that utilizes equipment and infrastructure that is [...]