Integrated Canonizer and Solver (ICS)


	Computer Science Laboratory

	Contact

	People at CSL

	Projects at CSL

-	Active Networks Test Environment (ACTIVATE)
-	Adaptable Network Control and Reporting System (ANCORS)
-	Agile Management of Dynamic Collaboration
-	Artifactory
-	Autonomous Negotiating Teams (ANT)
-	Bio Informatics
-	Bixie
-	Common Authentication Protocol Specification Language (CAPSL)
-	Compositional Abstraction and Refinement for Aspects (CARA)
-	Correlated Attack Modeling (CAM)
-	Cyber-Threat Analytics (Cyber-TA)
-	Cybersecurity Experimentation of the Future (CEF)
-	DARPA Agent Markup Language (DAML)
-	Dependable Intrusion Tolerance (DIT)
-	Detection and Analysis of Threats to the Energy Sector
-	Detection and Analysis of Threats to the Energy Sector (DATES)
-	Dynamic Dependability Gauges (DASADA)
-	eBayes
-	Enclaves
-	Evaluation Methods for Internet Security Technology (EMIST)
-	Event Monitoring Enabling Responses to Anomalous Live Disturbances (EMERALD)
-	Formal Composition Technology for Time-Triggered Systems
-	Genesis of Cyberscience
-	Integrated Canonizer and Solver (ICS)
-	Internet of Things Security and Privacy Center (IoTSPC)
-	Intrusion Tolerance for NEST
-	Intrusion Tolerant Architectures
-	Maude
-	Mobile Maude
-	Molecular Electronics
-	Network Embedded Systems Technology (NEST)
-	Next Generation (XG)
-	Next-Generation Intrusion-Detection Expert System (NIDES)
-	ONISTT
-	Pathway Logic
-	PHD: Predicting Health and Disease (PHD)
-	Principles and Foundations for Fractionated Networked Cyber-Physical Systems
-	Process Control Systems Security
-	Prototype Verification System (PVS)
-	Public Key Infrastructure (PKI)
-	Secure Access Wrapper (SAW)
-	Semantically Enabled Automated Assessment in Virtual Environments (SAVE)
-	Sensor Coordination using Active Dataspaces
-	Sharing Expertise and Artifacts for Reuse through Cybersecurity Community Hub (SEARCCH)
-	Symbolic Analysis Laboratory (SAL)
-	Trusted Interoperation of Healthcare Information (TIHI)
-	Trusted Interoperation of Heterogeneous Autonomous Databases
-	Virtualized Execution Realizing Network Infrastructures Enhancing Reliability (VERNIER)
	Research Programs

	Division Home

ICS is a decision procedure developed at SRI International. It is based on well-developed theory, it efficiently decides formulas in a useful combination of theories, and it provides an API that makes it suitable for use in applications with highly dynamic environments such as proof search or symbolic simulation.

Principal Investigator:

Dr. Harald Rueß

Staff Members:

Papers:

ICS: Integrated Canonizer and Solver (2001)

About Us R&D Divisions Careers Newsroom Contact Us
© 2024 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy