Kirim Perangkat Lunak
  1. Rumah
  2. Linux
  3. Lain
  4. The PEP tool
  5. Download

The PEP tool 2.0b

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 5.0/5 - ‎1 ‎Suara

Tentang The PEP tool

PEP adalah kerangka pemodelan dan verifikasi untuk sistem paralel, menyediakan sejumlah besar bahasa pemodelan dan teknik verifikasi yang berbeda (misalnya SDL, petri nets dan pengecekan model)

Program Terkait

  • JDPF Gratis

    Program ini adalah perangkat lunak open source gratis untuk penggunaan pribadi dan komersial, sehingga pilihan sempurna bagi mereka yang menginginkan alternatif untuk program berbayar yang lebih terkenal.

  • VDK Library Gratis

    Perpustakaan VDK adalah kerangka kerja di C++ yang mengikat pustaka GUI GTK+, yang disediakan untuk Linux dan Windows telah menjadi library dasar untuk proyek VDKBuilder. Baru-baru ini proyek telah dibagi dan VDK melanjutkan

  • Efes Gratis

    Implementasi Skema Berbasis Bytecode (R^5RS). Cepat, kompak, stabil, cocok untuk pendidikan dan eksperimen.

  • Light Torch Flash Widget Pro Gratis

    Widget untuk menyalakan/mematikan led (flash) kamera hanya dengan satu klik. Berguna sebagai obor.

  • Ayra - VCL Report Generator Gratis

    Perancang laporan dan aplikasi generator yang ditulis di Delphi, dengan desainer laporan WYSIWYG, komponen VCL untuk pembuatan laporan, berlaku untuk Delphi 5 hingga 2006, dan sedikit aplikasi CommandLine untuk panggilan. Ini

  • ES32 - EEG Analysis Gratis

    ES32 adalah program windows untuk analisis file data EEG seperti yang diproduksi oleh aplikasi AKUISISI NEUROSCAN (tm).

  • LJOS - Java and database integration Gratis

    LJOS adalah singkatan dari urutan kata-kata: Linux, Java, Operating System. Ini adalah upaya untuk membuat ekstensi bytecode langsung ke kernel Linux yang terintegrasi erat dengan database sebagai penyimpanan umum.

  • DROIDinfo (Android 1.6+) Gratis

    DROIDinfo menampilkan informasi teknis tentang perangkat Android. Ini ditujukan untuk pengembang yang ingin mendapatkan gambaran tentang perangkat keras perangkat, sistem Linux / Android, dan properti Java seperti yang terlih

  • Lumbermill - Log4J/JSR47 GUI Gratis

    Lumbermill adalah pusat pemrosesan dan distribusi log visual untuk Log4j dan (dalam 2.0) java.util.logging (JSR47). Ini adalah aplikasi mandiri Swing / GUI yang mendukung penayangan dan pengarsipan peristiwa log.

  • EmbeddedImageBuilder Gratis

    Tujuan dari proyek ini adalah untuk menyediakan metode untuk membangun gambar yang dapat di-boot untuk sistem kecil yang disematkan, berdasarkan sumber paket asli, terutama buildroot, dan untuk snapshot file distribusi dan ko