
ZTree
 Referenced in 610 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 30 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 2957 articles
[sw00320]
 GAP is a system for computational discrete algebra...

IMITATOR
 Referenced in 29 articles
[sw00439]
 IMITATOR is a software tool for parametric verification...

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

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

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

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

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

Sostools
 Referenced in 276 articles
[sw00891]
 We are pleased to introduce SOSTOOLS, a free...

AUTO
 Referenced in 903 articles
[sw01059]
 AUTO is a software for continuation and bifurcation...

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

Modula
 Referenced in 197 articles
[sw01224]
 The Modula programming language is a descendant of...

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

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