Patent application number | Description | Published |
20100144798 | Modulators of ATP-Binding Cassette Transporters - The present invention relates to modulators of ATP-Binding Cassette (“ABC”) transporters or fragments thereof, including Cystic Fibrosis Transmembrane Regulator (“CFTR”), compositions thereof, and methods therewith. The present invention also relates to methods of treating ABC transporter mediated diseases using such modulators. | 06-10-2010 |
20110306607 | HETEROCYCLIC CHROMENE-SPIROCYCLIC PIPERIDINE AMIDES AS MODULATORS OF ION CHANNELS - The invention relates to heterocyclic chromene-spirocyclic piperidine amides useful as inhibitors of ion channels. The invention also provides pharmaceutically acceptable compositions comprising the compounds of the invention and methods of using the compositions in the treatment of various disorders. | 12-15-2011 |
20110306637 | MODULATORS OF ATP-BINDING CASSETTE TRANSPORTERS - The present invention relates to modulators of ATP-Binding Cassette (“ABC”) transporters or fragments thereof, including Cystic Fibrosis Transmembrane Conductance Regulator (“CFTR”), compositions thereof, and methods therewith. The present invention also relates to methods of treating ABC transporter mediated diseases using such modulators. | 12-15-2011 |
20120071504 | MODULATORS OF CYSTIC FIBROSIS TRANSMEMBRANE CONDUCTANCE REGULATOR - This invention relates to a compound of Formula I: | 03-22-2012 |
20120184583 | MODULATORS OF ATP-BINDING CASSETTE TRANSPORTERS - The present invention relates to modulators of ATP-Binding Cassette (“ABC”) transporters or fragments thereof, including Cystic Fibrosis Transmembrane Regulator (“CFTR”), compositions thereof, and methods therewith. The present invention also relates to methods of treating ABC transporter mediated diseases using such modulators. | 07-19-2012 |
20120196869 | PYRROLOPYRAZINE-SPIROCYCLIC PIPERIDINE AMIDES AS MODULATORS OF ION CHANNELS - The invention relates to pyrrolopyrazine-spirocyclic piperidine amide compounds useful as inhibitors of ion channels. The invention also provides pharmaceutically acceptable compositions comprising the compounds of the invention and methods of using the compositions in the treatment of various disorders. | 08-02-2012 |
20120245136 | CHROMAN-SPIROCYCLIC PIPERIDINE AMIDES AS MODULATORS OF ION CHANNELS - The invention relates to chroman spirocyclic piperidine amide derivatives useful as inhibitors of ion channels. The invention also provides pharmaceutically acceptable compositions comprising the compounds of the invention and methods of using the compositions in the treatment of various disorders. | 09-27-2012 |
20120264749 | MORPHOLINE-SPIROCYCLIC PIPERIDINE AMIDES AS MODULATORS OF ION CHANNELS - The invention relates to morpholine spirocyclic piperidine amide compounds useful as inhibitors of ion channels. The invention also provides pharmaceutically acceptable compositions comprising the compounds of the invention and methods of using the compositions in the treatment of various disorders. | 10-18-2012 |
20130178471 | MODULATORS OF ATP-BINDING CASSETTE TRANSPORTERS - Compounds of the present invention and pharmaceutically acceptable compositions thereof, are useful as modulators of ATP-Binding Cassette (“ABC”) transporters or fragments thereof, including Cystic Fibrosis Transmembrane Conductance Regulator (“CFTR”). The present invention also relates to methods of treating ABC transporter mediated diseases using compounds of the present invention. | 07-11-2013 |
20140080825 | Modulators of ATP-binding cassette transporters - The present invention relates to modulators of ATP-Binding Cassette (“ABC”) transporters or fragments thereof, including Cystic Fibrosis Transmembrane Conductance Regulator (“CFTR”), compositions thereof, and methods therewith. The present invention also relates to methods of treating ABC transporter mediated diseases using such modulators. | 03-20-2014 |
20140080826 | MODULATORS OF ATP-BINDING CASSETTE TRANSPORTERS - Compounds of the present invention and pharmaceutically acceptable compositions thereof, are useful as modulators of ATP-Binding Cassette (“ABC”) transporters or fragments thereof, including Cystic Fibrosis Transmembrane Conductance Regulator (“CFTR”). The present invention also relates to methods of treating ABC transporter mediated diseases using compounds of the present invention. | 03-20-2014 |
20140088142 | MODULATORS OF CYSTIC FIBROSIS TRANSMEMBRANE CONDUCTANCE REGULATOR - This invention relates to a compound of Formula I: | 03-27-2014 |
20140171427 | Heterocyclic chromene-spirocyclic piperidine amides as modulators of ion channels - The invention relates to heterocyclic chromene-spirocyclic piperidine amides useful as inhibitors of ion channels. The invention also provides pharmaceutically acceptable compositions comprising the compounds of the invention and methods of using the compositions in the treatment of various disorders. | 06-19-2014 |
20140213616 | PYRIDONE AMIDES AS MODULATORS OF SODIUM CHANNELS - The invention relates to pyridone amide compounds of formula I and I′ or pharmaceutically acceptable salts thereof, useful as inhibitors of sodium channels: | 07-31-2014 |
20140221435 | AMIDES AS MODULATORS OF SODIUM CHANNELS - The invention relates to amide compounds of formula I and I′ or pharmaceutically acceptable salts thereof, useful as inhibitors of sodium channels: | 08-07-2014 |
20140303205 | MODULATORS OF CYSTIC FIBROSIS TRANSMEMBRANE CONDUCTANCE REGULATOR - This invention relates to a compound of Formula I: | 10-09-2014 |
20140309220 | BENZOXAZINES AS MODULATORS OF ION CHANNELS - The invention relates to benzoxazines useful as inhibitors of ion channels. The invention also provides pharmaceutically acceptable compositions comprising the compounds of the invention and methods of using the compositions in the treatment of various disorders. | 10-16-2014 |
20150025073 | MORPHOLINE-SPIROCYCLIC PIPERIDINE AMIDES AS MODULATORS OF ION CHANNELS - The invention relates to morpholine spirocyclic piperidine amide compounds useful as inhibitors of ion channels. The invention also provides pharmaceutically acceptable compositions comprising the compounds of the invention and methods of using the compositions in the treatment of various disorders. | 01-22-2015 |
Patent application number | Description | Published |
20090064064 | Device, System and Method for Formal Verification - Device, system and method of efficient automata-based implementation of liveness properties for formal verification. A system according to embodiments of the invention includes a property transformation module to receive an assume verification directive on a liveness property in a property specification language, and to translate the property a fairness statement that uses a deterministic automaton. The deterministic automaton is exponential in the size of the input property. The assume verification directive may be transformed into a strong suffix implication in the property specification language. | 03-05-2009 |
20090216513 | Design verification using directives having local variables - A computer-implemented method for verifying a design includes representing a verification directive, which pertains to the design and includes a local variable, by a finite state machine. The state machine includes multiple states, with transitions among the states, transition conditions associated with the transitions, and procedural blocks, which correspond to the transitions and define operations to be performed on the local variable when traversing the respective transitions. | 08-27-2009 |
20120233587 | CONDUCTING VERIFICATION IN EVENT PROCESSING APPLICATIONS USING FORMAL METHODS - A method of applying formal verification methodologies to event processing applications is provided herein. The method includes the following stages: representing an event processing application as an event processing network, being a graph with event processing agents as nodes; generating a finite state machine based on the event processing network, wherein the finite state machine is an over-approximation of the event processing application; expressing stateful rules and policies that are associated with the event processing application using temporal logic, to yield a temporal representation of the event processing application; combining the temporal representation and the finite state machine into a model; generating a statement associated with a user-selected verification-related property of the event processing application, wherein the statement is generated using the temporal representation; and applying the statement to the model, to yield an indication for: (i) a correctness of the statement or (ii) a counter example, respectively. | 09-13-2012 |
20140208297 | Validation of revised computer programs - A computer implemented method, an computerized apparatus and a computer program product for validating revised computer programs. The method performed by a computerized device, comprising: validating a computer program having one or more revised instructions, wherein said validating comprises: checking the computer program with respect to only a portion of a Control Flow Graph (CFG) of the computer program, wherein the portion of the CFG including all paths of the CFG that include at least one node associated with a revised instruction. | 07-24-2014 |
20140215445 | DOMINANT-STATE-BASED COVERAGE METRIC - A method, apparatus and product for dominant state based coverage metric. The method comprising: determining whether all possible states of a computer program were examined based on an analysis of states that were examined excluding controlled states that are dominated by a self-dominating states; wherein the controlled states are associated with a controlled nodes in a control flow graph of the computer program, wherein the self-dominating states are associated with a self-dominating node in the control flow graph; wherein each execution path in the control flow graph that reaches the controlled nodes also includes the self-dominating node; and wherein there exists an execution path in the control flow graph that both starts and ends at the self-dominating node and further includes at least one controlled node. | 07-31-2014 |
20150074651 | DIRECTING VERIFICATION TOWARDS BUG-PRONE PORTIONS - A method, system and product for directing verification towards bug-prone portions. The method comprising syntactically analyzing a computer program to identify portions of the computer program that correspond to one or more bug patterns; and performing verification of the computer program, wherein the verification comprises traversing a control flow graph of the computer program and tracking symbolic values of variables of the computer program, wherein said performing comprises directing the traversal of the control flow graph to nodes of the control flow graph that correspond to the identified portions, whereby bug-prone portions of the computer program are prioritized to be verified before non-bug-prone portions of the computer program. | 03-12-2015 |
20150074652 | AVOIDING SIMILAR COUNTER-EXAMPLES IN MODEL CHECKING - A method, apparatus, and product for avoiding similar counter-examples in model checking. One method comprises model checking of a program by traversing control flow paths of the program to determine states associated with execution of the program, each state comprises at least symbolic values of variables; said traversing is biased to give preference to traversing control flow paths that are substantially different than control flow paths associated with traces of the program; whereby said model checking is guided away from executions that are similar to the traces. A second method comprises obtaining a counter-example produced by a model checker, computing a distance between a control flow path of the counter-example and between a set of one or more control flow paths of additional counter-examples; and in response to the distance being below a threshold, dropping the counter-example. | 03-12-2015 |