Výsledky vyhledávání - Theory of computation Formal languages and automatic theory Formalisms

Towards formal methods diversity in railways: an experience report with seven frameworks Autor Mazzanti, Franco, Ferrari, Alessio, Spagnolo, Giorgio O.

“…In the ever expanding universe of formal methods, several tools exist that can be exploited to validate early system designs, and that are applicable to problems of the railway domain…”
Získat plný text

Go2Pins: a framework for the LTL verification of Go programs (extended version) Autor Kirszenberg, Alexandre, Martin, Antoine, Moreau, Hugo, Renault, Etienne

“…: high-performance language-independent model checking. In: TACAS’15, pp. 692–707, 2015) and Spot (Duret-Lutz et al. Spot 2.0-a framework for LTL…”
Získat plný text

ADTLang: a programming language approach to attack defense trees Autor Hansen, René Rydhof, Larsen, Kim Guldstrand, Legay, Axel, Jensen, Peter Gjøl, Poulsen, Danny Bøgsted

“… To easen the use of Attack Defense Trees we introduce a domain specific language (DSL) and an accompanying…”
Získat plný text

A formal approach to AADL model-based software engineering Autor Mkaouar, Hana, Zalila, Bechir, Hugues, Jérôme, Jmaiel, Mohamed

“… To be formally verified, a system should be specified with a specific formalism such as Petri nets, automata and process algebras, which requires a formal expertise and may become complex especially with large systems…”
Získat plný text

PuRSUE -from specification of robotic environments to synthesis of controllers Autor Bersani, Marcello M., Soldo, Matteo, Menghi, Claudio, Pelliccione, Patrizio, Rossi, Matteo

“… While formal methods that help developers in the creation and design of robotic applications exist, they must be explicitly customized to be impactful in the robotics domain and to support…”
Získat plný text

Directed-Logical Testing for Functional Verification of Microprocessors Autor Katelman, M., Meseguer, J., Escobar, S.

“… to drive a simulation-based methodology. However, formal methods are, in particular, gaining wider adoption and are seen as having potential to bridge large gaps left by current techniques…”
Získat plný text

Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code Autor Shashidhar, K. C., Bruynooghe, Maurice, Catthoor, Francky, Janssens, Gerda

“… Currently they have to rely on incomplete and time-consuming simulation. Formal automatic verification of the transformed program against the original is instead desirable…”
Získat plný text

Invisible formal methods for embedded control systems Autor Tiwari, A., Shankar, N., Rushby, J.

“… These systems are modeled using a hybrid automaton formalism, which is obtained by combining the discrete transition system formalism with continuous dynamical systems…”
Získat plný text

Language and mathematics : an interdisciplinary guide Autor Danesi, Marcel

“… It examines trends in linguistics, such as structuralism, conceptual metaphor theory, and other relevant theories, to show that language and mathematics have a similar structure, but differential…”
Získat plný text

MPICH-V: toward a scalable fault tolerant MPI for volatile nodes Autor Bosilca, George, Bouteiller, Aurelien, Cappello, Franck, Djilali, Samir, Fedak, Gilles, Germain, Cecile, Herault, Thomas, Lemarinier, Pierre, Lodygensky, Oleg, Magniette, Frederic, Neri, Vincent, Selikhov, Anton

“… or minutes.We present MPICH-V, an automatic Volatility tolerant MPI environment based on uncoordinated checkpoint/rollback and distributed message logging…”
Získat plný text

Reasoning About Agent Types and the Hardest Logic Puzzle Ever Autor Liu, Fenrong, Wang, Yanjing

“…In this paper, we first propose a simple formal language to specify types of agents in terms of necessary conditions for their announcements…”
Získat plný text

Application of term rewriting techniques to hardware design verification Autor Chandrasekhar, M. S., Privitera, J. P., Conradt, K. W.

“…Term rewriting systems have been used in automatic theorem proving. A canonical term rewriting system for Boolean algebra recently discovered, and a refutation…”
Získat plný text

Scenario-based verification of real-time systems using Uppaal Autor Li, Shuhao, Balaguer, Sandie, David, Alexandre, Larsen, Kim G., Nielsen, Brian, Pusinskas, Saulius

“…This article proposes two approaches to tool-supported automatic verification of dense real-time systems against scenario-based requirements, where a system is modeled as a network of timed automata (TAs…”
Získat plný text

Techniques for automatic verification of real-time systems Autor Alur, Rajeev

“… We study timed automata from the perspective of formal language theory: we consider closure properties, decision problems, and subclasses…”
Získat plný text

Verification of Real-time Systems: Improving Tool Support Autor Gomez, Rodolfo

“…We address a number of limitations of Timed Automata and real-time model-checkers, which undermine the reliability of formal verification…”
Získat plný text