About site: Math/Logic and Foundations/Nonstandard Logics and Extensions/Temporal Logic - JMCA - Java ModelChecking Application
Return to Science
  About site: http://www.fmi.uni-passau.de/~sterr/jmca/mainpage.html

Title: Math/Logic and Foundations/Nonstandard Logics and Extensions/Temporal Logic - JMCA - Java ModelChecking Application JMCA is an Java application for formally verifying finite-state concurrent systems using temporal logic formulas (ltl formulas).
Marking_up_Temporal_Logic First in a series of posts to the www-math mailing list on using TL operators in web pages. Clicking [Prev] will continue through the series.

Spin A general tool for verifying the correctness of distributed software (designs) in a rigorous and mostly automated fashion. Can be used as a full linear temporal logic model checking system.

Temporal_Logic The Stanford Encyclopedia of Philosophy entry on the subject, with a detailed description, application areas and a bibliography.

Temporal_Logic_Case_Study A case study applying temporal logic to specify the operation of a bank of identical elevators servicing a number of floors in a building.

Temporal_Logic_in_Information_Systems A survey of the field by Jan Chomicki and David Toman. From the 1997 BRICS Lecture Series.

The_Temporal_Logic_of_Actions A logic for specifying and reasoning about concurrent systems.


  Alexa statistic for http://www.fmi.uni-passau.de/~sterr/jmca/mainpage.html





Get your Google PageRank






Please visit: http://www.fmi.uni-passau.de/~sterr/jmca/mainpage.html


  Related sites for http://www.fmi.uni-passau.de/~sterr/jmca/mainpage.html
    TemporalRover Provides automatic verification of protocols and reactive systems through temporal logic specifications.
    Time_International_Workshop_Series The annual International Workshop on Temporal Representation and Reasoning covers temporal representation and reasoning, including temporal logic.
    Advanced_Transit_Association ATRA promotes developing technologies such as Personal Rapid Transit (PRT), identifies problems and ways advanced systems can help solve them. Descriptions, studies (download, paper), videos, PRT Mode
    The_ADVISORS_project Action for advanced Driver assistance and Vehicle control systems Implementation, Standardisation, Optimum use of the Road network and Safety. Includes project description and reports, a virtual driv
    Alexander_Communications_Group,_Inc_ Offers several newsletters on emerging energy and transportation technology, including intelligent transportation systems (ITS), alternative vehicles, and fuel cell research and development. Some free
    Automated_People_Mover_Standards_Committee An organization developing standards for automated people movers. Includes publications, directives, and meeting notes.
    AWAKE Pipeline project for a system to assess driver vigilance and give off a warning, if need be. Lists consortium members and purpose of the project. Based in Europe.
    Car_Innovations How cars might appear in the future.
    Future_Transportation Small enthusiast site, with maglev trains, solar sails, transport history. Brief descriptions, diagrams, photographs.
    Hydro_Lance_Corp_ High Aspect Ratio Twin Hull (H.A.R.T.H.): new, innovative marine ocean ship platform architecture with passive designed, high stability and safety, low fuel use, achieves high speeds in high seas: 50-
    I_N_S_E_A_N_ Description of research facilities and programs. Includes publications.
    The_National_Transportation_Library Provides online access to documents and databases covering all aspects of transportation in the U.S. Material is contributed by public and private organizations around the country and access is free.
    Planning_Rural_Roads Designed to help planners and managers of rural roads networks in developing countries. Covers topics such as selection, design, funding, and maintenance.
    Poma_Otis Supplies and installs automated people movers. Includes products, specifications, and existing systems.
    Predit French national program in land transport research and innovation. Information about strategic program efforts to improve performance relative to energy, noise, pollution and environment.
    SMRTram Horizontal pedestrian mobility system to stretch average walking access distances along selected corridors. Similar to light rail and buses, but with rubber tires on a concrete guideway.
    Transportation_Research_Information_Services_(TRIS) Searchable database of articles produced and maintained by the Transportation Research Board at the National Academy of Sciences.
    Flexagon_Re\'flex\'ions Several possibly new trihexaflexagon phenomena are presented. The wide spectrum of findings including explorations with magic squares, palindromes, and much more freshly fans the flexagon fun.
    Flexagons Includes a definition of the word, instructions on how to make a Trihexaflexagon, how to flex it and information about it and another flexagon.
    Flexagons Contains instructions on how to fold a flexagon, history of flexagons and printable models of some.
    Flexagons Contains an introduction and history of Flexagons and a tutorial in how to make a Hexa-hexa-flexagon.
    Flexagons 1962 technical report which includes an introduction to the history of Flexagons.
    Hexaflexagon_Toolkit A free application that can generate a hexaflexagon template and folding instructions from six user selected images. Examples Source Code included.
    Archaeological_Prospection Archaeological Prospection covers all types of archaeological sites (e.g.. urban, rural, and marine) and the full range of underlying geology. It also researches archaeological uses of a wide range of
    Bath_Spa_Project__Archaeology_Draft_Geoarchaeology_Assessment This assessment shows that a large amount of valuable information can be extracted from these otherwise unpromising deposits and that the intensive application of geoarchaeological analyses has been j
    Bringing_Together_the_Sciences_of_Geology_and_Archaeology Popular press article by Anne Boyd, El Dorado National Forest Geologist.
    Carolina_Bay_Geoarchaeology_and_Holocene_Landscape_Evolution Brief profile of a research project being conducted at the Savannah River Ecology Laboratory, University of Georgia.
    Charles_McBurney_Laboratory_for_Geoarchaeology Overview of the laboratory in the Department of Archaeology at the University of Cambridge. Current research projects, staff members, and related links.
    Directory_of_Graduate_Student_Programs_in_Geoarchaeology Maintained by the Geological Society of America's Archaeological Geology Division.
    Fezzan_Project_-_Geoarchaeology_of_the_Libyan_Sahara The aim of the interdisciplinary Fezzan Project is to increase our understanding of environmental change and past human occupation of the Fezzan region of southwestern Libya, in the hyper-arid heart o
    Geoarchaeology__An_International_Journal An interdisciplinary journal that presents work at the methodological and theoretical interface between archaeology and the earth sciences. Publication guidelines and examples of recent articles.
    Geoarchaeology_Digiter_Geoarcheologia Presents the principles, applications, and difficulties of geoarchaeology along with case studies.
    Geoarchaeology_in_Iowa A set of educational pages presented as part of the Iowa State Archaeologist's site.
    Geoarchaeology_in_the_Canadian_Prairie_Ecozone Portion of a larger study of the cultural adaptations in the Canadian prairie. Overview of geoarchaeology investigations.
    Geoarchaeology_in_the_Georgia_Bight Scientists studying the geoarchaeology of Gray's Reef and nearby J-Reef are documenting the reefs' existence above sea level during geologic time to provide the foundation for studies on the existence
    Geoarchaeology_of_Modern_Deltas Brief profile of the geoarchaeology aspect of the Smithsonian's Deltas-Global Change Program.
    Geoarchaeology_Syllabus Arizona State University course syllabus. Includes detailed geoarchaeology bibliography.
    Hamilton_College_-_Geoarchaeology Offers an undergraduate degree program in geoarchaeology. Program overview, courses, and faculty.
    Indiana_State_University_Geoarchaeology Offers a graduate degree in geography with a specialization in geoarchaeology.
    Lakehead_University_Geoarchaeology Program integrates a series of relevant courses taught in the Departments of Anthropology, Geography and Geology and offers an interdisciplinary B.Sc. and H.B.Sc. degree in geoarchaeology.
This is now2007.com cache of m/ as retrieved on 2008.12.05 now2007.com's cache is the snapshot that we took of the page as we crawled the web. The page may have changed since that time.
404 Not Found

Not Found

The requested URL /~sterr/jmca/mainpage.html was not found on this server.
 

JMCA

is

an

Java

application

for

formally

verifying

finite-state

concurrent

systems

using

temporal

logic

formulas

(ltl

formulas).

http://www.fmi.uni-passau.de/~sterr/jmca/mainpage.html

JMCA - Java ModelChecking Application 2008 December

dvd rental

dvd


JMCA is an Java application for formally verifying finite-state concurrent systems using temporal logic formulas (ltl formulas).

Rules




© 2005 Internet Explorer 5+ or Netscape 6+

Recommended Sites: 1. Arts - Business - Computers - Games - Health - Home - Kids and Teens - News - Recreation - Reference - Regional - Science - Shopping - Society - Sports - World Miss Gallery - Top Anime Hentai - DVD rental by mail - Mobile Phone - Bad Credit Loans - Gas Suppliers - Web Advertising - MySpace Layouts
2008-12-05 11:03:45

Copyright 2005, 2006 by Webmaster
Websites is cool :)