Sciweavers

LPAR
2010
Springer
13 years 8 months ago
Graded Alternating-Time Temporal Logic
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community:
Marco Faella, Margherita Napoli, Mimmo Parente
TCS
2002
13 years 10 months ago
Relating CASL with other specification languages: the institution level
In this work, we investigate various specification languages and their relation to Casl, the recently developed Common Algebraic Specification Language. In particular, we consider...
Till Mossakowski
INFORMATICALT
2006
86views more  INFORMATICALT 2006»
13 years 11 months ago
Methodology to Evaluate the Functionality of Specification Languages
The paper proposes a methodology for evaluation of specification language functionality characteristics. It describes background of the proposed methodology, discusses the methodol...
Jelena Gasperovic, Albertas Caplinskas
DAGSTUHL
1998
14 years 7 days ago
Specification of Dynamics for Knowledge-Based Systems
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
Pascal van Eck, Joeri Engelfriet, Dieter Fensel, F...
FDL
2006
IEEE
14 years 2 months ago
System Description Aspects as Syntactic Sugar
Many different system description and specification languages are used in modern design flows to emphasize different aspects like modular architecture, multibehavior, abstract act...
Jens Brandt, Klaus Schneider
ATVA
2009
Springer
146views Hardware» more  ATVA 2009»
14 years 2 months ago
Specification Languages for Stutter-Invariant Regular Properties
We present specification languages that naturally capture exactly the regular and -regular properties that are stutter invariant. Our specification languages are variants of the cl...
Christian Dax, Felix Klaedtke, Stefan Leue
ARTS
1999
Springer
14 years 3 months ago
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
Paul Z. Kolano