ComFoRT Reasoning Framework The Component Formal Reasoning Technology (ComFoRT) is a reasoning framework for predicting whether a system will satisfy its safety, reliability, and security requirements. In ComFoRT, these requirements are encoded as behavioral assertions that are verified automatically.
Keywords for this software
References in zbMATH (referenced in 10 articles )
Showing results 1 to 10 of 10.
- Braghin, Chiara; Sharygina, Natasha; Barone-Adesi, Katerina: A model checking-based approach for security policy verification of mobile systems (2011)
- Chaki, Sagar; Clarke, Edmund; Sharygina, Natasha; Sinha, Nishant: Verification of evolving software via component substitutability analysis (2008)
- Chaki, Sagar; Strichman, Ofer: Three optimizations for assume-guarantee reasoning with $L^*$ (2008)
- Chaki, S.; Clarke, E.; Kidd, N.; Reps, T.; Touili, T.: Verifying concurrent message-passing C programs with recursive calls (2006)
- Stokely, Murray; Chaki, Sagar; Ouaknine, Joël: Parallel assignments in software model checking (2006)
- Stokely, Murray; Chaki, Sagar; Ouaknine, Joël: Parallel assignments in software model checking. (2006)
- Chaki, Sagar; Clarke, Edmund; Grumberg, Orna; Ouaknine, Joël; Sharygina, Natasha; Touili, Tayssir; Veith, Helmut: State/event software verification for branching-time specifications (2005)
- Chaki, Sagar; Clarke, Edmund; Sinha, Nishant; Thati, Prasanna: Automated assume-guarantee reasoning for simulation conformance (2005)
- Clarke, Edmund; Kroening, Daniel; Sharygina, Natasha; Yorav, Karen: SATABS: SAT-based predicate abstraction for ANSI-C (2005)
- Cook, Byron; Kroening, Daniel; Sharygina, Natasha: Cogent: Accurate theorem proving for program verification (2005)