Back to Results
First PageMeta Content
Applied mathematics / Model checking / Logic in computer science / Bisimulation / Functional verification / Mathematics / Computer science / Model checkers / NuSMV / Theoretical computer science


TwoTowers 5.1 User Manual Marco Bernardo January[removed]c 2006
Add to Reading List

Document Date: 2006-01-17 11:35:25

Open Document

File Size: 325,98 KB

Share Result on Facebook

City

Bisimulation / /

Company

Markov / /

IndustryTerm

chain solution / open-source software / software systems / /

OperatingSystem

Unix / Linux / Microsoft Windows / /

Person

Andrea Acquaviva / Nadia Busi / Rance Cleaveland / Marina Ribaudo / Alessandro Aldini / Marco Roccetti / Francesco Franz / Mario Bravetti / Paolo Ciancarini / Lorenzo Donatiello / Alessandro Bogliolo / Marco Bernardo / Claudio Premici / Steve Sims / Roberto Gorrieri / Billy Stewart / Alessandro Cimatti / Simone Mecozzi / /

Position

driver / performance_evaluator / Evaluator / Composition Analyzer .sar PERFORMANCE EVALUATOR / performance evaluator / General / /

ProgrammingLanguage

ANSI C / Tcl/Tk / /

Technology

Kanellakis-Smolka algorithm / ANSI C / Linux / Unix / Simulation / operating system / operating systems / Alternating Bit Protocol / pdf / gui / /

URL

http /

SocialTag