[PDF][PDF] SAL, Kodkod, and BDDs for Validation of B Models
PROB is a model checker for high-level B and Event-B models based on constraint-solving.
In this paper we investigate alternate approaches for validating high-level B models using …
In this paper we investigate alternate approaches for validating high-level B models using …
[PDF][PDF] SAL, Kodkod, and BDDs for Validation of B Models
D Plagge, M Leuschel, I Lopatkin, A Iliasov… - Automated Formal …, 2009 - fm.csl.sri.com
PROB is a model checker for high-level B and Event-B models based on constraint-solving.
In this paper we investigate alternate approaches for validating high-level B models using …
In this paper we investigate alternate approaches for validating high-level B models using …
[PDF][PDF] SAL, Kodkod, and BDDs for Validation of B Models
D Plagge, M Leuschel, I Lopatkin, A Iliasov… - 2009 - Citeseer
PROB is a model checker for high-level B and Event-B models based on constraint-solving.
In this paper we investigate alternate approaches for validating high-level B models using …
In this paper we investigate alternate approaches for validating high-level B models using …
[PDF][PDF] SAL, Kodkod, and BDDs for Validation of B Models
D Plagge, M Leuschel, I Lopatkin, A Iliasov… - 2009 - stups.hhu-hosting.de
PROB is a model checker for high-level B and Event-B models based on constraint-solving.
In this paper we investigate alternate approaches for validating high-level B models using …
In this paper we investigate alternate approaches for validating high-level B models using …
[PDF][PDF] SAL, Kodkod, and BDDs for Validation of B Models
D Plagge, M Leuschel, I Lopatkin, A Iliasov… - 2009 - web-archive.southampton.ac.uk
PROB is a model checker for high-level B and Event-B models based on constraint-solving.
In this paper we investigate alternate approaches for validating high-level B models using …
In this paper we investigate alternate approaches for validating high-level B models using …
[PDF][PDF] SAL, Kodkod, and BDDs for Validation of B Models
D Plagge, M Leuschel, I Lopatkin, A Iliasov… - 2009 - researchgate.net
PROB is a model checker for high-level B and Event-B models based on constraint-solving.
In this paper we investigate alternate approaches for validating high-level B models using …
In this paper we investigate alternate approaches for validating high-level B models using …
SAL, Kodkod, and BDDs for Validation of B Models. Lessons and Outlook.
D Plagge, M Leuschel, I Lopatkin, A Iliasov… - 2009 - web-archive.southampton.ac.uk
PROB is a model checker for high-level B and Event-B models based on constraint-solving.
In this paper we investigate alternate approaches for validating high-level B models using …
In this paper we investigate alternate approaches for validating high-level B models using …
[PDF][PDF] SAL, Kodkod, and BDDs for Validation of B Models
D Plagge, M Leuschel, I Lopatkin, A Iliasov… - Automated Formal …, 2009 - fm.csl.sri.com
PROB is a model checker for high-level B and Event-B models based on constraint-solving.
In this paper we investigate alternate approaches for validating high-level B models using …
In this paper we investigate alternate approaches for validating high-level B models using …
[PDF][PDF] SAL, Kodkod, and BDDs for Validation of B Models
D Plagge, M Leuschel, I Lopatkin, A Iliasov… - Automated Formal …, 2009 - researchgate.net
PROB is a model checker for high-level B and Event-B models based on constraint-solving.
In this paper we investigate alternate approaches for validating high-level B models using …
In this paper we investigate alternate approaches for validating high-level B models using …