scientific article; zbMATH DE number 3930354
From MaRDI portal
Publication:3703299
zbMATH Open0581.68046MaRDI QIDQ3703299FDOQ3703299
Authors: David Harel, Amir Pnueli 
Publication date: 1985
Title of this publication is not available (Why is that?)
Recommendations
consistencycomplex systemsconcurrencyparallelismMagic Squaresystem developmentsystem behaviourbidimensional methodstatechart
Formal languages and automata (68Q45) Artificial intelligence (68T99) Theory of software (68N99) Theory of computing (68Q99)
Cited In (62)
- Reactive Turing machines
- On disjunction of literals in triggers of statecharts transitions.
- Developing reactive systems in a VDM framework
- A denotational theory of synchronous reactive systems
- Causal automata
- Towards a notion of unsatisfiable and unrealizable cores for LTL
- Enriched μ–Calculus Pushdown Module Checking
- Using transition systems to describe and predict the behaviour of structured excitable media
- Bridging the gap between two concurrent constraint languages
- Specialisation of Prolog and FCP programs using abstract interpretation
- An axiomatic semantics for Esterel
- Title not available (Why is that?)
- Modification of the method of generation of control finite-state machines with continuous actions based on training examples
- A logical view of composition
- SWITCH technology: An automated approach to developing software for reactive systems
- Module checking
- Using formal methods with SysML in aerospace design and engineering
- Resolution-based approach to compatibility analysis of interacting automata
- Towards the hierarchical verification of reactive systems
- Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications
- Reactive mode handling of flexible manufacturing systems
- Coverage metrics for temporal logic model checking
- Reasoning about graded strategy quantifiers
- Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms
- Solving inequalities over finite state machines in the reactive systems design
- A polynomial dynamic system approach to software design for attractivity requirement
- Temporal logic and fair discrete systems
- A metamodel for the design of polychronous systems
- Linear temporal logic -- from infinite to finite horizon
- Design of reactive algorithms by solving equations over automata
- Robustness of temporal logic specifications for continuous-time signals
- Title not available (Why is that?)
- Introduction to design choices in the semantics of Statecharts
- Title not available (Why is that?)
- Checking the satisfiability of formulas represented in disjunctive normal form in the language \(L\). I
- Network-formation games with regular objectives
- Global view on reactivity: switch graphs and their logics
- Monitorable hyperproperties of nonterminating systems
- Modal specifications for the control theory of discrete event systems
- Supervisory control of product and hierarchical discrete event systems
- Detecting causal relationships in distributed computations: In search of the holy grail
- Reconciling statechart semantics
- Coping with selfish on-going behaviors
- Information gain of black-box testing
- Reasoning about Quality and Fuzziness of Strategic Behaviors
- Recent advances in program verification through computer algebra
- A compositional axiomatization of statecharts
- On hierarchically developing reactive systems
- An introduction to compositional methods for concurrency and their application to real-time.
- Concurrency in biological modeling: behavior, execution and visualization
- An axiomatic semantics for the synchronous language Gentzen.
- Model checking and synthesis for branching multi-weighted logics
- Modelling and simulation of reactive systems
- Multi-Valued Reasoning about Reactive Systems
- The \textsf{tccp} interpreter
- Automated verification of reactive and concurrent programs by calculation
- Compilation of the ELECTRE reactive language into finite transition systems
- LTL-specification for development and verification of control programs
- Title not available (Why is that?)
- Using Hoare logic in a process algebra setting
- A parametric rely-guarantee reasoning framework for concurrent reactive systems
- An automata-theoretic approach to linear temporal logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3703299)
