Executing Specifications Using Synthesis and Constraint Solving

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-40787-1_1
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Executing Formal Specifications Need Not Be Harmful

Software Engineering Journal
1996English

Robust Constraint Solving Using Multiple Heuristics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Efficient Search as a Means of Executing Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

Solving Multiagent Networks Using Distributed Constraint Optimization

AI Magazine
Artificial Intelligence
2008English

Automatic Translation of Architecture Constraint Specifications Into Components

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Interval Linear Constraint Solving Using the Preconditioned Interval Gauss-Seidel Method

1995English

Controller Synthesis for Nonlinear Systems With Reachability Specifications Using Monotonicity

2019English

The Cassowary Linear Arithmetic Constraint Solving Algorithm

ACM Transactions on Computer-Human Interaction
Human-Computer Interaction
2001English

Solving Bilevel Problems With Polyhedral Constraint Set

Journal of Applied and Numerical Optimization
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy