Advanced search
 Log In
New Account 		  
 
Home My Page Project Tree First Order Model Checker
 
 
Summary Tracker Lists Tasks Docs News SCM Files
 

AVACS H3 First Order Model Checking


  • DFG TransRegio/SFB AVACS: H3
Registered: 2007-05-14 21:36
Activity Percentile: 0%
View project activity statistics.
View list of RSS feeds available for this project 
Developer Info
Project Admins:
Boris Wirtz
Florian Pigorsch
Stefan Disch
Willem Hagemann
Developers:
Astrid Rakow
Christian Miller
Christoph Scholl
Georges Morbe
Hans-Jörg Peter
Hardi Hungar
Henning Dierks
Jun Pang
Paola Yuca
Rüdiger Ehlers
Stefan Kupferschmid
Swen Jacobs
Tayfun Gezgin
Tim Strazny
Uwe Waldmann

[View Members]

[Request to join]

 

Latest File Releases
Package Version Date Notes / Monitor Download
This Project Has Not Released Any Files

Public Areas
Home Page Project Home Page
TrackerTracker
There are no public trackers available
Docs DocManager: Project Documentation
Lists Mailing Lists ( 2 public mailing lists)
Tasks Task Manager
There are no public subprojects available
SCM SCM Repository (SVN: 24 updates, 18 adds)

 
Latest News
FOMC project created
    Stefan Disch - 2007-05-18 14:35


Powered By GForge Collaborative Development Environment