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

The PEP tool 2.0b

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

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)

Riwayat versi

  • Versi 2.0beta4 diposting di 2004-09-13
    Beberapa perbaikan dan pembaruan
  • Versi 2.0beta4 diposting di 2004-09-13

Detil Program

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