xmmsctrl

xmmsctrl 1.9

xmmsctrl is a small utility to control xmms from the command line. xmmsctrl's goal is to be used coupled with sh to test xmms state and perform an appropriate action, e.g. if playing then pause else play.The interest of this is to bind keys in a window...

3 Jun 15 in Audio Software
Linux
read more
UPPAAL TIGA

UPPAAL TIGA 4.1.0-0.9

UPPAAL TIGA is an extension of UPPAAL [BDL04] and it implements the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties.Though timed games for long have been known to be...

2 Jun 15
Linux
read more
UPPAAL

UPPAAL 4.0.6

UPPAAL is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).UPPAAL CORA is a branch of UPPAAL for Cost Optimal...

2 Jun 15 in Developer Tools, Quality Assurance and Testing Software
Linux
read more
Popular software