BF Parser API
Irena Bojanova, Inventor/Creator, PI & Lead, NIST Bugs Framework (BF), 2014 – ~~~
The BF Parser API performs Validation and Verification of BF Specifications in .bfv, .bfvul, and .bff formats. It is also incorporated in the BF Tool App, BF GUI Tool, and any upload BF APP/API.
UI
[https://«coming soon»/BFFormalLanguage/BFParser](https://«coming soon»/BFFormalLanguage/BFParser)
API
C#
HttpClient client = new HttpClient() { BaseAddress = new Uri("https://<<coming soon>>") }; //to be updated <-- replace YOUR_USER_NAME and YOUR_KEY client.DefaultRequestHeaders.Add("user", YOUR_USER_NAME); client.DefaultRequestHeaders.Add("key", YOUR_KEY); using var content = new MultipartFormDataContent(); // loop over your .bfv files --> fileName var file = new StreamContent(File.OpenRead(fileName)); content.Add(file, "files", Path.GetFileName(fileName)); using var response = await client.PostAsync("BFFormalLanguage/BFParser/api", content); response.EnsureSuccessStatusCode(); var result = bool.Parse(await response.Content.ReadAsStringAsync());Python
//to be added//
BF PATENT PENDING
BF CITATION: