Specification and Verification of Dynamics in Cognitive Agent Models

2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology ◽

10.1109/iat.2006.112 ◽

2006 ◽

Cited By ~ 27

Author(s):

Tibor Bosse ◽

Catholijn M. Jonker ◽

Lourens van der Meij ◽

Alexei Sharpanskykh ◽

Jan Treur

Keyword(s):

Cognitive Agent ◽

Specification And Verification

Download Full-text

Geometrical product specifications (GPS). Features utilized in specification and verification

10.3403/30154332u ◽

2015 ◽

Keyword(s):

Specification And Verification ◽

Product Specifications

Download Full-text

Standard for SystemVerilog. Unified hardware design, specification and verification language

10.3403/30167898u ◽

2015 ◽

Keyword(s):

Hardware Design ◽

Design Specification ◽

Specification And Verification

Download Full-text

Real-Time System: Specification and Verification

10.21236/ada206467 ◽

1989 ◽

Author(s):

K. T. Narayana

Keyword(s):

Real Time ◽

System Specification ◽

Time System ◽

Real Time System ◽

Specification And Verification

Download Full-text

Proceedings of the IDA Workshop on Formal Specification and Verification of Ada (Trade Name) (3rd) Held in Research Triangle Park, North Carolina on 14-16 May 1986

10.21236/ada226984 ◽

1986 ◽

Author(s):

William T. Mayfield ◽

John Chludzinski ◽

John McHugh ◽

Stephen R. Welke

Keyword(s):

North Carolina ◽

Formal Specification ◽

Research Triangle ◽

Trade Name ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

Formal Specification and Verification of Concurrent Programs

10.21236/ada265201 ◽

1993 ◽

Cited By ~ 2

Author(s):

Daniel M. Berry

Keyword(s):

Formal Specification ◽

Concurrent Programs ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

The Design of a Polymorphous Cognitive Agent Architecture (PCAA)

10.21236/ada481982 ◽

2008 ◽

Author(s):

Mohammed Amduka ◽

Jon Russo ◽

Krishna Jha ◽

Andre DeHon ◽

Richard Lethin ◽

...

Keyword(s):

Cognitive Agent ◽

Agent Architecture

Download Full-text

An Integrated Specification and Verification Environment for Component-Based Architectures of Large-Scale Distributed Systems

10.21236/ada501823 ◽

2009 ◽

Cited By ~ 1

Author(s):

John Hatcliff ◽

Torben Amtoft ◽

Anindya Banerjee

Keyword(s):

Distributed Systems ◽

Large Scale ◽

Specification And Verification

Download Full-text

History-based specification and verification of Java collections in KeY (keynote)

Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs ◽

10.1145/3427761.3432349 ◽

2020 ◽

Author(s):

Frank S. de Boer ◽

Hans-Dieter A. Hiep

Keyword(s):

Specification And Verification

Download Full-text

Specification and verification of web services transactions

Proceedings of the Fourth SIGMOD PhD Workshop on Innovative Database Research - IDAR '10 ◽

10.1145/1811136.1811143 ◽

2010 ◽

Author(s):

Iman Saleh ◽

Gregory Kulczycki ◽

M. Brian Blake

Keyword(s):

Web Services ◽

Specification And Verification

Download Full-text

Distributed causal memory: modular specification and verification in higher-order distributed separation logic

Proceedings of the ACM on Programming Languages ◽

10.1145/3434323 ◽

2021 ◽

Vol 5 (POPL) ◽

pp. 1-29

Author(s):

Léon Gondelman ◽

Simon Oddershede Gregersen ◽

Abel Nieto ◽

Amin Timany ◽

Lars Birkedal

Keyword(s):

Higher Order ◽

Separation Logic ◽

Specification And Verification

Download Full-text