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 → Key required:
https://samate.nist.gov/services/BF/BFFormalLanguage/BFParser
API → Key required:
C#
HttpClient client = new HttpClient() { BaseAddress = new Uri("https://samate.nist.gov/services/BF") }; //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 CITATION: