SyncGen swMATH ID: 1988 Software Authors: Deng, Xianghua; Dwyer, Matthew B.; Hatcliff, John; Mizuno, Masaaki Description: SyncGen: an aspect-oriented framework for synchronization This paper describes SyncGen – a tool for automatically synthesizing complex synchronization implementations from formal high-level specifications. In SyncGen, synchronization specifications are phrased using first-order logic or user-friendly specification patterns. From a high-level specification, a language independent synchronization solution in an intermediate guarded-command language is synthesized. Back-end translators can translate this intermediate solution into a variety of implementation frameworks including Java, C++/C with POSIX threads, and Controller Area Network message passing primitives. SyncGen has been used extensively in courses at Kansas State University. Its breadth of applicability has been demonstrated by using it to solve virtually all of the exercises given in well-known concurrency textbooks, as well as a variety of real-world problems in the embedded computing domain. The tool, along with supporting documentation and an example repository, is publicly available. Homepage: http://syncgen.projects.cis.ksu.edu/ Related Software: ESC/Java; Bandera; SYNTHESIS; Atomizer; BLAST; SLAM; dSPIN; TVLA; Bebop; Java PathFinder; NuSMV; PVS; SPIN; IF-2.0; veriSoft Cited in: 7 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year SyncGen: an aspect-oriented framework for synchronization. Zbl 1126.68472Deng, Xianghua; Dwyer, Matthew B.; Hatcliff, John; Mizuno, Masaaki 2004 all top 5 Cited by 16 Authors 2 Dwyer, Matthew B. 2 Hatcliff, John 1 Attie, Paul C. 1 Betin-Can, Aysu 1 Bultan, Tevfik 1 Deng, Xianghua 1 Deshmukh, Jyotirmoy V. 1 Emerson, Ernest Allen 1 Flanagan, Cormac 1 Freund, Stephen Neal 1 Iosif, Radu 1 Mizuno, Masaaki 1 Ramalingam, Ganesan 1 Ranganath, Venkatesh Prasad 1 Samanta, Roopsha 1 Vaswani, Kapil Cited in 4 Serials 2 Formal Methods in System Design 1 Science of Computer Programming 1 Formal Aspects of Computing 1 Logical Methods in Computer Science Cited in 1 Field 7 Computer science (68-XX) Citations by Year