Synchronous transitions and their temporal logic (1998) [2 citations — 0 self]
Download:
|
|
by Vanderlei Moraes Rodrigues, Fl'avio Rech Wagner
In Proc. Workshop de Métodos Formais
ftp://caracol.inf.ufrgs.br/pub/flavio/wmf98.ps
Add To MetaCart
Abstract:
The class of formalisms composed of a transition system and a linear-time temporal logic includes the UNITY formalism [3, 9], the Manna and Pnueli logic [8], the TLA logic [7], the ST formalism [12], and other formalisms [11]. They successfully describe concurrent
Citations
| 752 | The temporal logic of actions – Lamport - 1991 |
| 436 | The Science of Programming – Gries - 1981 |
| 140 | A Foundation of Parallel Program Design – Chandy, Misra - 1988 |
| 64 | Temporal Verification of Reactive Systems – Manna, Pnueli - 1995 |
| 50 | An introduction to assertional reasoning for concurrent systems – Shankar - 1999 |
| 36 | A formal approach to hardware design – Staunstrup - 1994 |
| 18 | Maximally concurrent programs – Joshi, Misra |
| 5 | et al. A model of VHDL for the analysis, transformation, and optimization of digital system designs – Wilsey - 1995 |
| 4 | et al. A refinement calculus for the synthesis of verified hardware descriptions in VHDL – Breuer - 1997 |
| 1 | Transic~oes s'incronas, l'ogica temporal e sua aplicac~ao na verificac~ao formal de VHDL. Relat'orio de pesquisa, CPGCC da UFRGS – Rodrigues - 1997 |
