COMPUTATION TOOLS 2011, The Second International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking

Home // COMPUTATION TOOLS

Type: conference

Notes: IARIA Conference.

Editors:
Kenneth Scerri, University of Malta, Malta
Pascal Lorenz, University of Haute Alsace, France

ISSN: 2308-4170

ISBN: 978-1-61208-159-5

Location: Rome, Italy

Dates: from September 25, 2011 to September 30, 2011

Articles: there are 6 articles

Netty: A Prover's Assistant
Lev Naiman and Eric Hehner
keywords: proof, calculation, tool

Balanced Reduction of an IDE-based Spatio-Temporal Model
Kenneth Scerri, Michael Dewar, Parham Aram, Dean Freestone, Visakan Kadirkamanathan, and David Grayden
keywords: spatio-temporal simulation, balanced model reduction, integro-difference equation

A Tool for Signal Probability Analysis of FPGA-Based Systems
Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, and Paolo Masci
keywords: FPGA, Signal Probability, Simulation, Transition Density

Formal Verification of Parameterized Multi-agent Systems Using Predicate Diagrams*
Cecilia E. Nugraheni
keywords: multi-agent systems; parameterized systems; verification; predicate diagrams*; TLA*; TLA+

JClassic+ DE: A Description logic Reasoning tool: Application to dynamic access control
Narhimene Boustia and Aicha Mokhtari
keywords: Description Logic; Defaults and Exceptions; Reasoner; disjunction; access control.

A Tool for the Evaluation of the Complexity of Programs Using C++ Templates
Nicola Corriero, Emanuele Covino, and Giovanni Pani
keywords: Partial evaluation; C++ template metaprogramming; polynomial-time programs.