
ZTree
 Referenced in 558 articles
[sw11707]
 flexible both with respect to the logic of interaction and the visual representation, allowing ... games, extensive form games, double auctions, or clock auctions, for example. We began the development...

MCK
 Referenced in 27 articles
[sw09465]
 variety of approaches to model checking the logic of knowledge. The novelty of this model ... agents: observation alone; observation and clock; and synchonrous and asynchronous perfect recall of all observations...

Modechart
 Referenced in 8 articles
[sw22870]
 logic (RTL), which is especially amenable to reasoning about the absolute (realtime clock) timing...

TimeSquare
 Referenced in 4 articles
[sw15830]
 TimeSquare: Treat Your Models with Logical Time. TimeSquare is an Eclipse and modelbased environment ... Clock Constraint Specification Language (ccsl). Both MARTE and ccsl heavily rely on logical time, made ... distributed systems and synchronous languages. Logical Time provides a relaxed form of time that ... XTextbased editor of constraints, a polychronous clock calculus engine able to process a partial...

Tempo
 Referenced in 5 articles
[sw11778]
 analysis and uses a symbolic representation of clock constraints. It forms the core ... Tempo. We also develop a realtime logic for specifying properties of eventrecording automata...

MSP430X
 Referenced in 1 article
[sw32622]
 part is performed in a basic arithmetic logic unit (ALU) with optimal modular multiplication routine ... which achieves the 9,285,578 clock cycles and only requires...

GAP
 Referenced in 2702 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Isabelle
 Referenced in 594 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

Maple
 Referenced in 4896 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 5693 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 11446 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

R
 Referenced in 7603 articles
[sw00771]
 R is a language and environment for statistical...

PRISM
 Referenced in 395 articles
[sw01186]
 PRISM: Probabilistic symbolic model checker. In this paper...

Kronos
 Referenced in 259 articles
[sw01270]
 KRONOS is a tool developed with the aim...

Rabbit
 Referenced in 24 articles
[sw01317]
 Rabbit: A tool for BDDbased verification of...

Uppaal2k
 Referenced in 43 articles
[sw01595]
 Uppaal is an integrated tool environment for modeling...

BRISK
 Referenced in 2 articles
[sw02310]
 BRISK: a portable and flexible distributed instrumentation system...

SIGNAL
 Referenced in 51 articles
[sw02915]
 An MLlike module system for the synchronous...