You are here

ATC-NY INC

Company Information
Address
1610 TRUMANSBURG RD
ITHACA, NY 14850-9213
United States


http://www.atcorp.com

Information

UEI: LE62V456GNB5

# of Employees: 11


Ownership Information

HUBZone Owned: No

Socially and Economically Disadvantaged: No

Woman Owned: No



Award Charts




Award Listing

  1. Security Policy Modeling and Enforcement Tools for Clinical Workflows

    Amount: $69,962.00

    N/A

    SBIRPhase I1995Department of Defense Defense Advanced Research Projects Agency
  2. Formal Verification of VHDL Models

    Amount: $300,000.00

    The goal of this project is to create tools to support the formal verification of VHDL designs. Two existing formal verification tools will be enhanced to support VHDL. The first, Spectool, will allow ...

    SBIRPhase II1994Department of Defense Air Force
  3. A RIGOROUS MODELING AND SIMULATION PACKAGE FOR HYBRID SYSTEMS

    Amount: $64,944.00

    EXISTING COMMERCIAL MODELING AND SIMULATION SOFTWARE PACKAGES DO NOT ADEQUATELY PREDICT THE BEHAVIOR OF COMPLEX COMPUTER-CONTROLLED SYSTEMS BEING DEVELOPED AND FIELDED TODAY. THESE "HYBRID" SYSTEMS I ...

    SBIRPhase I1994National Science Foundation
  4. Analysis Tools for VHSIC Hardware Description Language

    Amount: $69,957.00

    N/A

    SBIRPhase I1994National Aeronautics and Space Administration
  5. Formal Verification of VHDL Models

    Amount: $69,770.00

    N/A

    SBIRPhase I1993Department of Defense Air Force
  6. A SECURE FAULT TOLERANT REFERENCE MONITOR

    Amount: $60,891.00

    THE GOAL OF THE PROJECT IS TO DEVELOP A FORMALLY VERIFIED DESIGN FOR A MULTILEVEL SECURE, DISTRIBUTED, FAULT TOLERANT REFERENCE MONITOR. A REFERENCE MONITOR IS A SYSTEM PROGRAM WHICH CONTROLS ACCESS O ...

    SBIRPhase I1991Department of Defense Missile Defense Agency
  7. AN INTERMEDIATE LANGUAGE FOR FORMAL VERIFICATION TOOLS

    Amount: $47,983.00

    THIS PROJECT WILL INVESTIGATE AN INTERMEDIATE FORMAL LANGUAGE FOR INTEGRATING FORMAL VERIFICATION TOOLS. SUCH A LANGUAGE WOULD ALLOW DIFFERENT TOOLS SUCH AS THEOREM PROVERS, DECISION PROCEDURES, AND F ...

    SBIRPhase I1991National Aeronautics and Space Administration
  8. GRAPHIC DISPLAY FOR MULTIMEDIA NETWORK MANAGEMENT

    Amount: $290,000.00

    THE INNOVATION DESCRIBED IN THIS PROPOSAL IS THE DESIGN OF GRAPHICAL DISPLAYS FOR MULTIMEDIA NETWORK MANAGEMENT TAILORED TO NAVY REQUIREMENTS. THESE DISPLAYS ARE DESIGNED TO ANSWER QUESTIONS CONCERNIN ...

    SBIRPhase II1990Department of Defense Navy
  9. FORMAL VERIFICATION FOR C WITH UNIX

    Amount: $49,984.00

    WE PROPOSE TO BUILD AN AUTOMATED FORMAL VERIFICATION SYSTEM FOR PROGRAMS WRITTEN IN THE C PROGRAMMING LANGUAGE. THIS SYSTEM WILL SUPPORT VERIFICATION OF PROGRAMS THAT INCLUDE UNIX SYSTEM CALLS, INCLUD ...

    SBIRPhase I1990National Aeronautics and Space Administration
  10. SECURE NETWORK DEVICE DRIVER

    Amount: $56,030.00

    N/A

    SBIRPhase I1990Department of Defense Missile Defense Agency
US Flag An Official Website of the United States Government