Results 261 to 270 of about 1,590,113 (289)

On the Formal Specification of Electronic Institutions

2001
In this article we argue that open agent organisations can be effectively designed and implemented as institutionalized electronic organisations (electronic institutions) composed of a vast amount of heterogeneous (human and software) agents playing different roles and interacting by means of speech acts.
Marc Esteva, Juan A. Rodríguez-Aguilar, Carles Sierra, Pere Garcia, Josep Lluís Arcos   +4 more
openaire   +1 more source

Formal specification and verification of VHDL

1996
We give an overview of our system for the verification of VHDL designs1, and discuss its rationale. We present a complete example of a simple processor and discuss general methods for specification of state machines and timed and untimed combinational circuits.
Mark Bickford, Damir Jamsek
openaire   +2 more sources

A Survey of Smart Contract Formal Specification and Verification

ACM Computing Surveys, 2022
Shang-Wei Lin, Palina Tolmach
exaly  

Formal Specification and Verification of Autonomous Robotic Systems

ACM Computing Surveys, 2020
Michael Fisher, Clare Dixon
exaly  

Formal Specification Level

2013
Rolf Drechsler, Mathias Soeken, Robert Wille   +2 more
openaire   +2 more sources

Formal specification

Annual Review in Automatic Programming, 1988
J. Szlankó, V. Haase, R. Mitchell, J. Quemada, T. Tempelmeier   +4 more
openaire   +2 more sources

Exploring the barriers to formal specification. [PDF]

, 2001
This thesis explores barriers to using formal specification for software development in industry. Empirical assessment techniques are used initially in an exploratory stage and subsequently in testing a hypothesis arising from the first stage. A second hypothesis is investigated by construction of a method and tool with subjective assessment of its ...
openaire   +1 more source

Formal specification of a specification library

1982
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1982. ; MICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING ; Bibliography: leaves 101-103. ; by Sriram K. Atreya. ; M.S.
openaire   +1 more source

Formal model and policy specification of usage control

ACM Transactions on Information and System Security, 2005
Jaehong Park, Ravi Sandhu, Xinwen Zhang   +2 more
exaly  

Analysis of the Formal Specification Application for Train Control Systems

Journal of Electrical Engineering and Technology, 2009
Jong-Gyu Hwang, Hyun-Jeong Jo
exaly