Formal semantics (linguistics)

RoboChart: modelling and verification of the functional behaviour of robotic applications

Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis, Jim Woodcock

引用数: 113 • 2019

Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa

引用数: 27 • 2018

Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

引用数: 20 • 2018

A Formal Approach to Design and Reuse Agent and Multiagent Models

Vincent Hilaire, Olivier Simonin, Abderrafìâa Koukam, Jacques Ferber

引用数: 17 • 2005

A formal toolchain for offline and run-time verification of robotic systems

Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet

引用数: 13 • 2022

A Formal Semantics for Brahms

Richard Stocker, Maarten Sierhuis, Louise A. Dennis, Clare Dixon, Michael Fisher

引用数: 9 • 2011

Analysing RoboChart with Probabilities

Madiel Conserva Filho, Rhoger Fellipe Marinho, Alexandre Mota, Jim Woodcock

引用数: 9 • 2018

Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans

Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone, Zahra Ramezani, Sajed Miremadi, Knut Åkesson

引用数: 9 • 2020

A hybrid approach to system verification in early design for complex mechatronic systems based on formal functional semantics

Y.-Y. Cao, Yusheng Liu

引用数: 6 • 2023

Natural Semantics for Domain-Specific Language

William Steingartner, Valerie Novitzká

引用数: 5 • 2021

Towards a sheaf semantics for cooperating agents scenarios

Viorica Sofronie

引用数: 5 • 1996

Some Aspects about Visualization of Natural Semantics for a Selected Domain-Specific Language

William Steingartner, Davorka Radaković, Richard Zsiga

引用数: 2 • 2023

Public and Private Affairs in Strategic Reasoning

Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi

引用数: 2 • 2022