others

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
others Other Relevant WWW-pages
(with bits of danish)

Formal Methods, FM'99: World Congress on Formal Methods

CSP (Communicating Sequential Processes) inkl. værktøjet FDR .

Pi-kalkyle-bibliografien

Message Sequence Charts

BDDs (Binary Decision Diagrams)

CWB (Edinburgh Concurrency Workbench)

Modeltjek ved Carnegie-Mellon Værktøjspakker Æ

BDD-bibliotek library med udvidelser for sekventiel verifikation.
CV, en VHDL modeltjekker.
CSML og MCB, et sprog til kompositionel beskrivelse af endelige tilstandsmaskiner og en (ikke-symbolsk) modeltjekker til CTL.
SMV (Symbolic Model Verifier) modeltjekkeren til systemer med endeligt mange tilstande, der bruger temporallogikken CTL (Computation Tree Logic), som specifikationssprog. Se også Word-level SMV der kan verificere aritmetiske kredsløb effektivt.

PVS (Prototype Verification System) tool based on classical typed higher-order logic developed at the SRI International Computer Science Laboratory.

UPPAAL verifikationsværktøjet for realtids/systemer. Modeltjek og simulering med grafisk brugergrænseflade.

Hvis du vil læse om industrielle anvendelser af formelle metoder, så kast et blik på Formal Methods Europe (FME): Information Resources including Formal Methods Tools Database.

Hvis du vil se eksempler på anvendelser af formel verifikation i et antal anvendelser, så kig på dokumentation af hvad Nancy Lynch og hendes gruppe på MIT laver.