Skip to topic
|
Skip to bottom
IST-15905
Tools Web
Mobius Public Home
Mobius Intranet
Tools Web Home
Overview
Tools Summary
Tools Contacts
Component Index
Related Tools
Download Tools
Scientific Issues
Tools Publications
Project Management
Development Schedule
Project Status
Documentation And Coding Standards
Latest News
Tools Meetings
Site Visits
GForge
Tools
Index
Search
Changes
RSS Feed
Statistics
Preferences
Edit Toolbar
Help
Start of topic |
Skip to actions
---++ Subsystems Under Development * BytecodeSubsystem * SourcecodeSubsystem * JmlSubsystem * ExtendedStaticCheckerSubsystem * AutomatedProverSubsystem * InteractiveProverSubsystem * BoogleSubsystem * RaceConditionCheckerSubsystem * PredicateAbstractionSubsystem * SpecificationGenerationSubsystem * ProofTransformingCompilerSubsystem * CompositionalTypecheckerSubsystem * CertificateSubsystem ---++ Components Under Development ComponentDetails * VerificationConditionAst * BytecodeAnnotationAst * BytecodeViewer * BytecodeEditor * SpecificationAst * SpecificationEditor * SpecificationRefactorer * AnnotatedBytecodeCompiler * VerificationConditionGenerator * CoqBackend * PvsBackend * SimplifyBackend * YicesBackend * SmtLibBackend * UniversesTypechecker * RaceConditionCheckingTypechecker ---++ Semantics, Logics, and Typesystems Under Development * BicolanoSemantics * MobiusBaseLogic * ExtendedStaticCheckingLogics ---++ General-purpose Eclipse Plugins * CheckStylePlugin * FindBugsPlugin * JavaNCSSPlugin * MylarPlugin * PmdPlugin * SubclipsePlugin ---++ Example Project Overviews * ExampleProjectOverview ---++ Action Plans | *WHAT* | *WHO* | *WHICH DIP?* | | which JML AST? | UCD + ETHZ | DIP2 | | BoogiePL AST stuff | UCD \ Joe > ETHZ \ Peter | DIP2 | | Mobius VC AST | UCD > INRIA | DIP2 | | BC + BML -> BoogiePL | ETHZ > UCD | DIP2 | | BC (+ BML) -> Mobius Bicolano [bico] | WU > INRIA \ David | DIP2 | | SC + JML (the JML tool suite AST ) -> BoogiePL (AST) | WU > ETHZ | DIP2+ | | SC + JML -> BC + BML | UCD > INRIA esp Lilian | DIP2+ | | BoogiePL -> Mobius VC AST | RUN > ETHZ + INRIA | DIP2+ | | Mobius VC AST -> Coq | INRIA > UCD | DIP2+ | | Mobius VC AST -> Simplify | UCD > INRIA | DIP2+ | | evaluate the Simplify -> Harvey translator | Joe@UCD | DIP2+ | | Mobius VC AST -> PVS | UCD > INRIA | DIP2+ | | Mobius VC AST -> Harvey | INRIA > UCD | DIP2+ | | Mobius VC AST -> SMT-LIB | UCD | DIP2+ | | later extension to multithreading | INRIA < UCD | DIP2+ |
End of topic
Skip to action links
|
Back to top
r1.7 :
Edit
|
Attach image or document
|
Printable version
|
Raw text
|
Page history
|
More actions
You are here:
Tools
>
ComponentIndex
to top
Ideas, requests, problems regarding the Mobius site