×

UNITY

swMATH ID: 13461
Software Authors: K. Mani Chandy; Jayadev Misra
Description: Simulation model development and analysis in UNITY. We evaluate UNITY – a computational model, specification language and proof system defined by Chandy and Misra [5] for the development of parallel and distributed programs – as a platform for simulation model specification and analysis. We describe a UNITY-based methodology for the construction, analysis and execution of simulation models. The methodology starts with a simulation model specification in the form of a set of coupled state transition systems. Mechanical methods for mapping the transition systems first into a set of formal assertions, permitting formal verification of the transition systems, and second into an executable program are described. The methodology provides a means to independently verify the correctness of the transition systems: one can specify properties formally that the model should obey and prove them as theorems using the formal specification. The methodology is illustrated through generation of a simulation program solving the machine interference problem using the Time Warp protocol on a distributed memory parallel architecture.
Homepage: https://en.wikipedia.org/wiki/UNITY_%28programming_language%29
Keywords: simulation specification; simulation verification; parallel simulation protocols; UNITY
Related Software: NQTHM; PVS; HOL; SPIN; LARCH; Rodin; Coq; OBJ3; CESAR; Isabelle/HOL; ML; CafeOBJ; Maude; Nuprl; Reo; Esterel; Z; Pastry; Chord; HOL-UNITY
Cited in: 173 Publications
all top 5

Cited by 264 Authors

14 Hesselink, Wim H.
6 Misra, Jayadev
4 Futatsugi, Kokichi
4 Singh, Ambuj K.
3 Anderson, James H.
3 Attie, Paul C.
3 Chandy, Kanianthra Mani
3 Dijkstra, Rutger M.
3 Fix, Limor
3 Francez, Nissim
3 Groote, Jan Friso
3 Grumberg, Orna
3 Halpern, Joseph Yehuda
3 Liu, Zhiming
3 McIver, Annabelle K.
3 Meseguer Guaita, José
3 Prasetya, I. S. W. B.
3 Sanders, Beverly A.
3 Sifakis, Joseph
3 Swierstra, S. Doaitse
2 Aravind, Alex A.
2 Bensalem, Saddek
2 Bozga, Marius
2 Brandt, Jens
2 Dederichs, Frank
2 Dongol, Brijesh
2 Filali, Mamoun
2 Gouda, Mohamed G.
2 Hoang, Thai Son
2 Jonsson, Bengt
2 Joseph, Mathai
2 Kindler, Ekkart
2 Li, Xiaozhou
2 Méry, Dominique
2 Montanari, Ugo G.
2 Morgan, Carroll C.
2 Nesterenko, Mikhail V.
2 Ogata, Kazuhiro
2 Olderog, Ernst-Rüdiger
2 Plaxton, C. Greg
2 Schneider, Klaus
2 Stomp, Frank
2 van de Snepscheut, Jan L. A.
2 Wang, Shengyuan
2 Weber, Rainer
2 Yuan, Chongyi
1 Abdulla, Parosh Aziz
1 Abraham, Uri
1 Abrams, Marc
1 Adari, S.
1 Agha, Gul A.
1 Aguirre, Nazareno M.
1 Ammar, Reda A.
1 Arora, Anish
1 Astesiano, Egidio
1 Back, Ralph-Johan
1 Bae, Kyungmin
1 Bagrodia, Rajive L.
1 Barbosa, Valmir Carneiro
1 Berry, Gerard
1 Besta, Milos
1 Bevier, William R.
1 Bickford, Mark
1 Bodeveix, Jean-Paul
1 Bonakdarpour, Borzoo
1 Börger, Egon
1 Bouajjani, Ahmed
1 Boudol, Gérard
1 Bourke, Timothy
1 Bramas, Quentin
1 Bruni, Roberto
1 Bui, Marc
1 Bush, Michael R.
1 Calvert, Ken
1 Cansell, Dominique
1 Castro, Pablo F.
1 Chen, Guoliang
1 Chen, Xiaofang
1 Chen, Zhenbang
1 Chou, Ching-Tsun
1 Choy, Manhoi
1 Clavel, Manuel
1 Clouser, Thomas
1 Collette, Pierre
1 Colvin, Robert J.
1 Constable, Robert Lee
1 Crégut, Pierre
1 de Boer, Frank S.
1 Demasi, Ramiro
1 Dolev, Shlomi
1 Dong, JinSong
1 Dong, Ruzhen
1 Dong, Yuan
1 Egecioglu, Omer
1 Eker, Steven
1 Evangelist, Michael
1 Evrard, Hugues
1 Faber, Johannes
1 Fagin, Ronald
1 Fiadeiro, José Luiz
...and 164 more Authors

Citations by Year